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
This diff is collapsed.
Please register or sign in to comment