please detect multiple kind errors in one run

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...

Trac metadata

Trac field	Value
Version	6.8.2
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture