Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail119.hs
1 -- Gave a nasty
2 -- tcLookupGlobal: `FunnyError.$dmb' is not in scope
3 -- failure in GHC 6.2, because the type-checking of
4 -- the default method didn't recover.
5
6 module ShouldFail where
7
8 class A x where
9 a :: x -> ()
10 b :: x -> Bool -> ()
11 b x "Foo" = () -- deliberate type error
12
13 instance A Int where
14 a _ = ()