projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9a3a2f) | patch
Fix Trac #2321: bug in SAT
authorsimonpj@microsoft.com <unknown>
Mon, 16 Jun 2008 20:17:00 +0000 (20:17 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 16 Jun 2008 20:17:00 +0000 (20:17 +0000)
commitc3693c2d32ffb9d312a598a65cbc62f3c3270008
tree7000537dad9002d56044356deb9f3d41ef09b047tree | snapshot
parentd9a3a2f8a2280b9d8fab5e7c9219736d36534d7fcommit | diff
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
compiler/main/DynFlags.hs diff | blob | history
compiler/simplCore/SAT.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)