[GHC] #8514: Non-ideal error with a kind error in a tuple
#8514: Non-ideal error with a kind error in a tuple -------------------------------------------+------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #7410 | Test Case: | Blocking: -------------------------------------------+------------------------------- The definition {{{ type T a = (a, Maybe) }}} gives an error: {{{ Expecting one more argument to ‛a’ The first argument of a tuple should have kind ‛*’, but ‛a’ has kind ‛* -> *’ }}} However, obviously that's not the problem - the error should point to the `Maybe` part. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8514 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8514: Non-ideal error with a kind error in a tuple
--------------------------------------------+------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: lowest | Milestone:
Component: Compiler (Type checker) | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: | Blocked By:
| Related Tickets: #7410
--------------------------------------------+------------------------------
Comment (by Simon Peyton Jones
#8514: Non-ideal error with a kind error in a tuple
--------------------------------------------+------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: lowest | Milestone:
Component: Compiler (Type checker) | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: | Blocked By:
| Related Tickets: #7410
--------------------------------------------+------------------------------
Comment (by Simon Peyton Jones
#8514: Non-ideal error with a kind error in a tuple ------------------------------------------------+-------------------------- Reporter: monoidal | Owner: Type: bug | Status: closed Priority: lowest | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: typecheck/should_fail/T8514 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: #7410 ------------------------------------------------+-------------------------- Changes (by simonpj): * status: new => closed * testcase: => typecheck/should_fail/T8514 * resolution: => fixed Comment: Thank you! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8514#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC