-
Simon Peyton Jones 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