projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd450d4) | patch
Ensure that instance overlap errors are report properly
authorsimonpj@microsoft.com <unknown>
Mon, 15 Nov 2010 14:28:05 +0000 (14:28 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 15 Nov 2010 14:28:05 +0000 (14:28 +0000)
commit30f26dda3abf025edaafa9880575d71929e4aa5c
treec9864dac4e2b121fbd336c001b0eabdbd8264547tree | snapshot
parentcd450d41e84c2bf09bb9c3a646c7408eb2c2d772commit | diff
Ensure that instance overlap errors are report properly

This (annoyingly) requires us to re-flatten the class predicate.
See Note [Flattening in error message generation]
compiler/typecheck/TcErrors.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)