[GHC] #8514: Non-ideal error with a kind error in a tuple

9 Nov 2013

      #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