Fri Apr 11 07:24:18 PDT 2008 [EMAIL PROTECTED]
* Transfer strictness and arity info when abstracting over type variables
See Note [transferPolyIdInfo] in Id.lhs, and test
eyeball/demand-on-polymorphic-floatouts.hs
Max Bolingbroke discovered that we were gratuitiously losing strictness
info. This simple patch fixes it. But see the above note for things
that are still discarded: worker info and rules.
M ./compiler/basicTypes/Id.lhs -1 +33
M ./compiler/simplCore/SetLevels.lhs -5 +8
M ./compiler/simplCore/SimplUtils.lhs -1 +2
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080411142418-1287e-99010ce1ad58899400b2ddace939f0f9488b10b5.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
