cvs commit: fptools/ghc/compiler/iface TcIface.lhs
FloatOut.lhs SimplCore.lhs SimplMonad.lhs
Simon Peyton Jones
simonpj at glass.cse.ogi.edu
Wed Apr 21 06:45:58 EDT 2004
simonpj 2004/04/21 05:45:58 PDT
ghc/compiler/simplCore FloatOut.lhs SimplCore.lhs
Do a much better job of slurping RULES.
Now that stuff is slurped in lazily, as the simplifier pokes on it,
we may not get the rules as early as we might wish. In the current
HEAD, no new rules are slurped in after the beginning of SimplCore,
and that means we permanently miss many rules.
This commit arranges that every time round the simplifier loop we
slurp in any new rules, and put them into the in-scope set, where the
simplifier can find them.
It's still possible that a rule might be slurped in a little later than
in earlier versions of GHC, leading to more simplifier iterations,
but let's see if that turns out to be a problem in practice.
Revision Changes Path
1.21 +6 -4 fptools/ghc/compiler/iface/TcIface.lhs
1.33 +3 -3 fptools/ghc/compiler/simplCore/FloatOut.lhs
1.122 +173 -141 fptools/ghc/compiler/simplCore/SimplCore.lhs
1.57 +6 -6 fptools/ghc/compiler/simplCore/SimplMonad.lhs
1.39 +3 -23 fptools/ghc/compiler/specialise/Rules.lhs
More information about the Cvs-ghc