patch applied (ghc): Take 2 on the recursive-rule fix
Simon Peyton Jones
simonpj at microsoft.com
Thu Oct 5 08:28:12 EDT 2006
Thu Oct 5 05:10:23 PDT 2006 simonpj at microsoft.com
* Take 2 on the recursive-rule fix
This is another attempt to fix the interaction between recursion and
RULES. I just had it wrong before! Now the significance of the
flag on IAmALoopBreaker is given in BasicTypes
| IAmALoopBreaker -- Used by the occurrence analyser to mark loop-breakers
-- in a group of recursive definitions
!RulesOnly -- True <=> This loop breaker mentions the other binders
-- in its recursive group only in its RULES, not
-- in its rhs
-- See OccurAnal Note [RulesOnly]
M ./compiler/basicTypes/BasicTypes.lhs -26 +6
M ./compiler/coreSyn/CoreUnfold.lhs -1 +1
M ./compiler/simplCore/OccurAnal.lhs -73 +93
More information about the Cvs-ghc
mailing list