patch applied (ghc): Make the loop-breaking algorithm a bit more
liberal, where RULES are involved
Simon Peyton Jones
simonpj at microsoft.com
Mon Jan 21 09:02:25 EST 2008
Mon Jan 21 05:56:54 PST 2008 simonpj at microsoft.com
* Make the loop-breaking algorithm a bit more liberal, where RULES are involved
This is another gloss on the now-quite-subtle and heavily-documented algorithm
for choosing loop breakers.
This fix, provoked by Roman's NDP library, makes sure that when we are choosing
a loop breaker we only take into account variables free on the *rhs* of a rule
not the *lhs*.
Most of the new lines are comments!
M ./compiler/simplCore/OccurAnal.lhs -4 +27
More information about the Cvs-ghc
mailing list