projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 905395b) | patch
Fix egregious bug in implication constraints
authorsimonpj@microsoft.com <unknown>
Tue, 9 Jan 2007 13:47:19 +0000 (13:47 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 9 Jan 2007 13:47:19 +0000 (13:47 +0000)
commitd90023f2e54e2c0b5aad169d0f55748a152fecce
tree9a07aca12310f8d81ca5bd6dcaf64208b8d3a9b5tree | snapshot
parent905395be0a3f087ae94c7c4ed33c431a3dfbaeffcommit | diff
Fix egregious bug in implication constraints

Build an implication constraint if there is a non-trivial
refinement, even if there are no other 'given' constraints.

Test = gadt/set.hs
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)