Thu Oct 5 05:10:23 PDT 2006 [EMAIL PROTECTED]
* 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
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
