[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  |  
---------------------------------+------------------------------------------
Comment (by simonpj):

 I cannot reproduce this either with 6.10.1.  I've tried modifying
 `ZDF5ex.hs` (as of today), lines 417 and 922, and I get both kind errors
 in one sweep.
 {{{
 compiler\cmm\ZDF5ex.hs:417: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))'

 compiler\cmm\ZDF5ex.hs:922:19:
     Kind error: `BackwardFixedPoint' is applied to too many type arguments
     In the type `BackwardFixedPoint m l O C a ()'
     In the type `ZipGF m l O C -> BackwardFixedPoint m l O C a ()'
     In the type `BackwardTransfers m l a
                  -> ZipGF m l O C -> BackwardFixedPoint m l O C a ()'
 }}}
 If you can give us a repro case, I'll look at it some more.  It's possible
 there is something wrong... after all you said it was still the case with
 6.10.1.  Pls re-open if you can see it again.

 Simon

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