GHC should recover better from bad type signatures
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