projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bcc65b) | patch
Retain simplifications of implication constraints
authorsimonpj@microsoft.com <unknown>
Wed, 22 Nov 2006 13:28:44 +0000 (13:28 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 22 Nov 2006 13:28:44 +0000 (13:28 +0000)
commit5adfdfb259415ca99d67d3c8b9e5df68cb736326
treeda6dafb09680122e3c41a86a7a07c9311f6808fatree | snapshot
parent3bcc65b82524d1b37e81492885a9eab7b48920cacommit | diff
Retain simplifications of implication constraints

When simplifying an implication constraint (reduceImplication), if we make
progress, make a new implication constraint for the result.  If we don't
do this, we get a constraint that can be simplified in a unique way,
and that in turn confuses reportNoInstance
compiler/typecheck/TcRnTypes.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)