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