[GHC] #745: GHC should recover better from bad type signatures

#745: GHC should recover better from bad type signatures
-------------------------+--------------------------------------------------
    Reporter:  simonpj   |        Owner:  simonpj
        Type:  bug       |       Status:  new    
    Priority:  low       |    Milestone:         
   Component:  Compiler  |      Version:  6.4.2  
    Severity:  normal    |     Keywords:         
          Os:  Unknown   |   Difficulty:  Unknown
Architecture:  Unknown   |  
-------------------------+--------------------------------------------------
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

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/745>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs