[GHC] #7410: Type error says that tuple components have kind (* -> *)

[GHC]

#7410: Type error says that tuple components have kind (* -> *)
----------------------------------------------+-----------------------------
Reporter:  benl                               |          Owner:                         
    Type:  bug                                |         Status:  new                    
Priority:  normal                             |      Component:  Compiler (Type checker)
 Version:  7.6.1                              |       Keywords:                         
      Os:  Unknown/Multiple                   |   Architecture:  Unknown/Multiple       
 Failure:  Incorrect warning at compile-time  |      Blockedby:                         
Blocking:                                     |        Related:                         
----------------------------------------------+-----------------------------

Comment(by simonpj@…):

 commit 1135c8439e606b2b0cebd138afbb4c5716f3abcc
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Mon Nov 26 12:07:37 2012 +0000

     Improve kind inference for tuple types

     Trac #7410 pointed out a terrible error message, which is
     much improved by this patch.

  compiler/main/ErrUtils.lhs      |    5 ++++-
  compiler/typecheck/TcHsType.lhs |   30 +++++++++++++++++++++---------
  2 files changed, 25 insertions(+), 10 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7410#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler