patch applied (ghc): Fix Trac #2321: bug in SAT

[Simon Peyton Jones]

Mon Jun 16 13:17:00 PDT 2008  simonpj at microsoft.com
  * Fix Trac #2321: bug in SAT
    This is a fairly substantial rewrite of the Static Argument Transformatoin,
    done by Max Bolingbroke and reviewed and modified by Simon PJ.
    
    * Fix a subtle scoping problem; see Note [Binder type capture]
    * Redo the analysis to use environments
    * Run gentle simlification just before the transformation
  

    M ./compiler/main/DynFlags.hs -3 +2
    M ./compiler/simplCore/SAT.lhs -285 +288

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080616201700-1287e-c60330d03663a2793d4a7b250c4f1606a0506945.gz