projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57983d1) | patch
[project @ 2005-02-25 14:15:53 by simonpj]
authorsimonpj <unknown>
Fri, 25 Feb 2005 14:15:53 +0000 (14:15 +0000)
committersimonpj <unknown>
Fri, 25 Feb 2005 14:15:53 +0000 (14:15 +0000)
commit9ced2b5962e84d84694cde112e1befe52f970d7b
tree9313c4e537b3874b3e731f047d9b2e1e930298d9tree | snapshot
parent57983d166965f3eb275ca7beebfc1162ef4e89c6commit | diff
[project @ 2005-02-25 14:15:53 by simonpj]
-----------------------------------------
Improve ambiguity reporting in TcSimplify
-----------------------------------------

Merge to STABLE

The test for ambiguity in tcSimplifyTop caused us to say thing like
No instance for (Show c)
which is a bit confusing -- and in fact exposed a separate buglet in
the fix-reporting code.

This commit deals with the origial problem.  tcfail133 tests it.
ghc/compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)