projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4edf892) | patch
Vital follow-up to fix of Trac #2045
authorsimonpj@microsoft.com <unknown>
Thu, 5 Jun 2008 16:54:34 +0000 (16:54 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 5 Jun 2008 16:54:34 +0000 (16:54 +0000)
commit04d0ebc95aefb1e619be3078112b4d5c62a3a79f
tree1e5b1ed4555c94e605866e2cc26390d08676e60ftree | snapshot
parent4edf8929c0007b6626c32e382a337afc2c8a75abcommit | diff
Vital follow-up to fix of Trac #2045

Sorry -- my 'validate' didn't work right and I missed a trick.
This patch must accompany

 * Fix Trac #2045: use big-tuple machiney for implication constraints
compiler/typecheck/Inst.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)