projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80d071f) | patch
Improve error reporting for kind errors (fix Trac #1633)
authorsimonpj@microsoft.com <unknown>
Wed, 13 May 2009 15:11:30 +0000 (15:11 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 13 May 2009 15:11:30 +0000 (15:11 +0000)
commit9a4ef343a46e823bcf949af8501c13cc8ca98fb1
tree82afc70699d6a78ab98dff9640cee45468ef3886tree | snapshot
parent80d071f68134bf3ad89d4de0d83807e2f0ec32c0commit | diff
Improve error reporting for kind errors (fix Trac #1633)

A long-standing improvement to the error message for kinds. Now instead of
    Expected kind `* -> *', but `Int' has kind `*'
we get
    The first argument of `T' should have kind `* -> *',
    but `Int' has kind `*'

Ha!
compiler/typecheck/TcHsType.lhs diff | blob | history
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)