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