Wed May 13 08:11:30 PDT 2009 [email protected]
* Improve error reporting for kind errors (fix Trac #1633)
Ignore-this: 80c4b0d98ac25bececf0896d27f954b8
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!
M ./compiler/typecheck/TcHsType.lhs -20 +108
M ./compiler/typecheck/TcTyClsDecls.lhs -4 +7
M ./compiler/typecheck/TcUnify.lhs -70
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090513151130-1287e-fdb62dca12f0fb28483554b540efe265c0da7d0d.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
