#1633: Improve error message for kind mismatches
--------------------------------------------+-------------------------------
Reporter: guest | Owner:
Type: feature request | Status: closed
Priority: normal | Milestone: 6.12 branch
Component: Documentation | Version: 6.6.1
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: typecheck/should_fail/T1633 | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
--------------------------------------------+-------------------------------
Changes (by simonpj):
* testcase: => typecheck/should_fail/T1633
* status: new => closed
* resolution: => fixed
Comment:
Fixed by
{{{
Wed May 13 16:11:30 BST 2009 [email protected]
* 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 `*'
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1633#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
