GHC should recover better from bad type signatures
|Reported by:||simonpj||Owned by:||simonpj|
|Type of failure:||Test Case:||typecheck/should_fail/tcfail113|
|Related Tickets:||Differential Rev(s):|
Description (last modified by igloo)
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
*** ./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
Change History (5)
comment:3 Changed 8 years ago by simonpj
- Resolution set to fixed
- Status changed from new to closed
- Test Case set to typecheck/should_fail/tcfail113