projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03d8585) | patch
Rejig the error messages a bit; fixes a minor bug
authorsimonpj@microsoft.com <unknown>
Thu, 1 Nov 2007 17:50:22 +0000 (17:50 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 1 Nov 2007 17:50:22 +0000 (17:50 +0000)
commit2e68d0410f319a99f3f36c5e9d9be656ca10dc70
treed7bb7ff353ccb5ec46b77fcd30e93c67d8fc87fetree | snapshot
parent03d8585e0940e28e024548654fe3505685aca94fcommit | diff
Rejig the error messages a bit; fixes a minor bug

The type checker was only reporting the first message if an equality
failed to match.  This patch does a bit of refactoring and fixes the
bug, which was in the bogus use of eqInstMisMatch
in tcSimplify.report_no_instances.b

This is really a bug in 6.8 too, so this would be good to merge across
to the 6.8 branch.
compiler/typecheck/Inst.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)