patch applied (ghc): Fix nasty Simplifier scoping bug

Mon Jun 16 12:08:33 EDT 2008

Fri Jun 13 19:39:37 PDT 2008  simonpj at microsoft.com
  * Fix nasty Simplifier scoping bug

  This bug was somehow tickled by the new code for desugaring
  polymorphic bindings, but the bug has been there a long time.  The
  bindings floated out in simplLazyBind, generated by abstractFloats,
  were getting processed by postInlineUnconditionally. But that was
  wrong because part of their scope has already been processed.

  That led to a bit of refactoring in the simplifier.  See comments
  with Simplify.addPolyBind.

  In principle this might happen in 6.8.3, but in practice it doesn't seem
  to, so probably not worth merging.

    M ./compiler/simplCore/SimplEnv.lhs -1 +1
    M ./compiler/simplCore/Simplify.lhs -34 +55

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080614023937-1287e-11fc5ecb53e8d4f2a224c29c011256d59226acc1.gz