---> Eviscerate the previous treatment of functions polymorphic in nodes
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 00:59:19 +0000 (20:59 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 00:59:19 +0000 (20:59 -0400)
commitf85e875ad4037c024291ca5900c351e116a7bdc6
treeb834c3dfaf010d4210cdada92c3b1d3b97395617
parent5c0cff8311b2b0f70a8bb3a751fcddd0f055e793
---> Eviscerate the previous treatment of functions polymorphic in nodes

I've cut the combinator stuff drastically.
At present, there's no need to mention the shape analysis.
If we think it's important, we can put it in, provided
we find something else to take out.
paper/dfopt.tex
paper/mkfile
src/Compiler/Hoopl/Combinators.hs