blob: 52b9c8a5eb4a36674aff03e91616e7c0645ba2bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
-- Gave a nasty
-- tcLookupGlobal: `FunnyError.$dmb' is not in scope
-- failure in GHC 6.2, because the type-checking of
-- the default method didn't recover.
module ShouldFail where
class A x where
a :: x -> ()
b :: x -> Bool -> ()
b x "Foo" = () -- deliberate type error
instance A Int where
a _ = ()
|