projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1362ee9) | patch
Fix Trace #1494
authorsimonpj@microsoft.com <unknown>
Wed, 4 Jul 2007 22:22:21 +0000 (22:22 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 4 Jul 2007 22:22:21 +0000 (22:22 +0000)
commitead3abe7fbf33f019549a05ad9dd3cd22ef3adab
tree800398eb5c95bf104729628c568f031fb5655049tree | snapshot
parent1362ee9b95a9977bc6cc02221d200a264b143d07commit | diff
Fix Trace #1494

A tricky bug to do with the way the implication constraints are
solved in TcSimplify.  See Note [Reducing implication constraints].
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)