id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
3223	please detect multiple kind errors in one run	nr		"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..."	feature request	closed	normal		Compiler	6.10.1	fixed			Unknown/Multiple	Unknown/Multiple		Unknown