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 <domi...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe