blob: 64d7138571fc2299b7c2c0b726dcb8b0f417b993 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
-- !!! Duplicate class assertion warning
-- ghc 6.6 now warns about duplicate class assertions,
module ShouldSucceed where
class Eq' a where
doubleeq :: a -> a -> Bool
class (Eq' a) => Ord' a where
lt :: a -> a -> Bool
instance Eq' Int where
doubleeq x y = True
instance (Eq' a, Eq' a) => Eq' [a] where
doubleeq x y = True
f x y = doubleeq x [1]
|