Wed Feb 4 00:25:34 PST 2009 [email protected]
* Improve transferPolyIdInfo for value-arg abstraction
Ignore-this: 687def702522c3516050de1e14e5219f
If we float a binding out of a *value* lambda, the fixing-up of IdInfo
is a bit more complicated than before. Since in principle FloatOut
can do this (and thus can do full lambda lifting), it's imporrtant
that transferPolyIdInfo does the Right Thing.
This doensn't matter unless you use FloatOut's abilty to lambda-lift,
which GHC mostly doesn't, yet. But Max used it and tripped over this bug.
M ./compiler/basicTypes/Id.lhs -9 +34
M ./compiler/basicTypes/NewDemand.lhs -1 +6
M ./compiler/simplCore/SetLevels.lhs -1 +1
M ./compiler/simplCore/SimplUtils.lhs -1 +1
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090204082534-1287e-2c65e7dd58a1e3659ac8aea6aedb4fbc013ea8e2.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
