id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
745	GHC should recover better from bad type signatures	simonpj	simonpj	"GHC currently bales out as soon as it finds an ill-kinded top-level type signature.

It didn't use to... it recovered and found more errors. An example is test tcfail113 (see diff below).  The change is a consequence of some reorganisation in TcBinds.

Fixing this would be nice, but perhaps not all that important

Simon

{{{
*** ./tcfail113.stderr  2003-12-10 14:24:30.000000000 +0000
--- ./tcfail113.comp.stderr     2006-03-30 10:05:53.000000000 +0100
***************
*** 1,12 ****
  
- tcfail113.hs:7:6:
-     Kind error: `Maybe' is not applied to enough type arguments
-     In the type signature: f :: [Maybe]
- 
- tcfail113.hs:10:7:
-     Kind error: Expecting kind `* -> *', but `Int' has kind `*'
-     In the type signature: g :: T Int
- 
  tcfail113.hs:13:5:
      Kind error: `Int' is applied to too many type arguments
      In the type signature: h :: Int Int
}}}"	bug	closed	low	_|_	Compiler	6.4.2	fixed			Unknown/Multiple	Unknown/Multiple		Unknown	typecheck/should_fail/tcfail113