blob: 1b11ee98851b6d6e6dee8346f3d7fa4572467acd (
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 _ = ()
|