It's described in Andy Gill's PhD thesis (which describes the foldr/build fusion). http://ittc.ku.edu/~andygill/paper.php?label=GillPhD96 Section 4.4 describes the basic ideas. There aren't any further details, though. Max's Strict Core paper also describes it a bit (Section 6): http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf On 27 June 2012 08:58, Dominic Steinitz <dominic@steinitz.org> wrote:
Duncan Coutts <duncan.coutts <at> googlemail.com> writes:
This could in principle be fixed with an arity raising transformation,
Do you have a reference to arity raising transformations?
Thanks, Dominic.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- Push the envelope. Watch it bend.