Mon Jun 16 13:17:00 PDT 2008 [EMAIL PROTECTED]
* 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
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
