• simonpj@microsoft.com's avatar
    Fix Trac #2321: bug in SAT · c3693c2d
    simonpj@microsoft.com authored
      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
    c3693c2d
DynFlags.hs 77.3 KB