projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3399c4) | patch
Wibble to SetLevels.abstractVars
authorsimonpj@microsoft.com <unknown>
Fri, 18 Jan 2008 17:17:54 +0000 (17:17 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 18 Jan 2008 17:17:54 +0000 (17:17 +0000)
commit194eb4bbf6a96d08fee652e244dfc31685abf10e
tree36fdadbe5d2dcb286b19a2addacd3995af4540dftree | snapshot
parentf3399c446c7507d46d6cc550aa2fe7027dbc1b5bcommit | diff
Wibble to SetLevels.abstractVars

I've gotten this wrong more than once.  Hopefully this has it nailed.
The issue is that in float-out we must abstract over the correct
variables.
compiler/simplCore/FloatOut.lhs diff | blob | history
compiler/simplCore/SetLevels.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)