[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:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  6.8.2             |       Severity:  normal          
Keywords:                    |       Testcase:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-----------------------------+----------------------------------------------
 GHC 6.8 stops after the first kind error.  Run one:
 {{{
 cmm/ZDF5ex.hs:926:19:
     Kind error: `BackwardFixedPoint' is applied to too many type arguments
     In the type `BackwardFixedPoint m l e x a ()'
     In the type `ZipGF m l e x -> BackwardFixedPoint m l e x a ()'
     In the type `ZMaybe x a
                  -> ZipGF m l e x -> BackwardFixedPoint m l e x a ()'
 }}}

 Run two:
 {{{
 cmm/ZDF5ex.hs:420:31:
     Kind error: `ForwardFixedPoint' is applied to too many type arguments
     In the type `ForwardFixedPoint m l O C a (ZipGF m l O C)'
     In the type `FuelMonad (ForwardFixedPoint m l O C a (ZipGF m l O C))'
     In the type `ZipGF m l O C
                  -> FuelMonad (ForwardFixedPoint m l O C a (ZipGF m l O
 C))'
 }}}

 These errors are in unrelated parts of the code and could both be detected
 on the same run.

 If this problem has already been fixed in 6.10, please accept my apologies
 ---6.10 has not hit Debian yet...

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