projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b076da6) | patch
Simpify constraints from a TH bracket eagerly
authorsimonpj@microsoft.com <unknown>
Wed, 9 Feb 2011 17:50:03 +0000 (17:50 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 9 Feb 2011 17:50:03 +0000 (17:50 +0000)
commit43cc549d6b596a0ba33fff2b126e5149f07eca29
treec0f32fc2af3c7c79ca0e182dd4308777dec3197btree | snapshot
parentb076da6047bf4c6b3d74a97c6c5fd59ed3bdd114commit | diff
Simpify constraints from a TH bracket eagerly

See Trac #4949, where having a TH bracket implication
was messing things up.  Better to get rid of it right away.
compiler/typecheck/TcSplice.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)