projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7fdebe) | patch
Improve error message
authorsimonpj@microsoft.com <unknown>
Tue, 8 Aug 2006 08:02:55 +0000 (08:02 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 8 Aug 2006 08:02:55 +0000 (08:02 +0000)
commitd2b27dcd73c7d3aa21059e2a26ee7923fd7bca0a
treee95c9d0eadca4d2209013f19ce6059489a719be7tree | snapshot
parentd7fdebe8a174f968b63c98845cb16577e444ee13commit | diff
Improve error message

Improve a little-used error message.  Given
f :: a -> a
f x y = e
the error says

The equations for f have two arguments
but its type `a -> a' has only one

(Before, it said "its type `a' has only one" which is bogus.
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)