cvs commit: fptools/ghc/compiler/iface TcIface.lhs fptools/ghc/compiler/simplCore FloatOut.lhs SimplCore.lhs SimplMonad.lhs fptools/ghc/compiler/specialise Rules.lhs

[Simon Peyton Jones]

simonpj     2004/04/21 05:45:58 PDT

  Modified files:
    ghc/compiler/iface   TcIface.lhs 
    ghc/compiler/simplCore FloatOut.lhs SimplCore.lhs 
                           SimplMonad.lhs 
    ghc/compiler/specialise Rules.lhs 
  Log:
  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