On Wed, Jul 24, 2013 at 10:06:59AM +0200, Andreas Abel wrote:
> For -O1 and greater, ghc seems to see that x is not mentioned in the
> where clauses and apparently lifts them out. Thus, for -O1..
> memoized_fib is also memoizing. (I ran it, this time ;-) !)
Right, I believe this is the "full laziness transformation" I mentioned
before
http://foldoc.org/full+laziness
http://www.haskell.org/pipermail/haskell-cafe/2013-February/105201.html
Tom
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
