projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cac36c) | patch
Fix error reporting for contexts during deriving (Trac 958)
authorsimonpj@microsoft.com <unknown>
Wed, 1 Nov 2006 12:21:20 +0000 (12:21 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 1 Nov 2006 12:21:20 +0000 (12:21 +0000)
commita7ba22ff9bdc25d23af38ff1a2c9bbcc12dd45b8
tree41230a635dbbe8121456c5be09734d4e4dd8654atree | snapshot
parent6cac36cc16f7c4158eaf96c628bc5d64226c24e8commit | diff
Fix error reporting for contexts during deriving (Trac 958)

When doing the fixpoint iteration for 'deriving' we have to be careful
not to end up in a loop, even if we have -fallow-undecidable-instances.

Test is tcfail169
compiler/typecheck/TcDeriv.lhs diff | blob | history
compiler/typecheck/TcMType.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)