[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 <simonpj@…>): In [changeset:"961203b585aac003a32ac0000456bdd742dba4d9/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="961203b585aac003a32ac0000456bdd742dba4d9" Improve typechecking of tuples (Trac #8514) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8514#comment:1> 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 <simonpj@…>): In [changeset:"286b45a1dce09eb7b057df5d137b629b3acc97d4/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="286b45a1dce09eb7b057df5d137b629b3acc97d4" Test Trac #8514 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8514#comment:2> 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: 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