[GHC] #3223: please detect multiple kind errors in one run

[GHC]

#3223: please detect multiple kind errors in one run
---------------------------------+------------------------------------------
    Reporter:  nr                |        Owner:                  
        Type:  feature request   |       Status:  closed          
    Priority:  normal            |    Milestone:                  
   Component:  Compiler          |      Version:  6.10.1          
    Severity:  normal            |   Resolution:  fixed           
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Changes (by igloo):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed

Comment:

 With this module:
 {{{
 type F a = Char

 type G a = Bool

 f :: F Float Double
 f = 'c'

 g :: G Float Double
 g = True
 }}}
 I can reproduce this with 6.8.2:
 {{{
 GHCi, version 6.8.2: http://www.haskell.org/ghc/  :? for help
 Loading package base ... linking ... done.
 [1 of 1] Compiling Main             ( f.hs, interpreted )

 f.hs:9:5:
     Kind error: `G' is applied to too many type arguments
     In the type `G Float Double'
     In the type signature for `g':
       g :: G Float Double
 Failed, modules loaded: none.
 Prelude>
 }}}
 but not the HEAD or 6.10, e.g.:
 {{{
 GHCi, version 6.10.1: http://www.haskell.org/ghc/  :? for help
 Loading package ghc-prim ... linking ... done.
 Loading package integer ... linking ... done.
 Loading package base ... linking ... done.
 [1 of 1] Compiling Main             ( f.hs, interpreted )

 f.hs:6:5:
     Kind error: `F' is applied to too many type arguments
     In the type `F Float Double'
     In the type signature for `f':
       f :: F Float Double

 f.hs:9:5:
     Kind error: `G' is applied to too many type arguments
     In the type `G Float Double'
     In the type signature for `g':
       g :: G Float Double
 Failed, modules loaded: none.
 Prelude>
 }}}
 so I think that this has already been fixed. If you still think it's
 broken, please reopen and attach a testcase.

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