testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc056.hs
1 -- !!! Duplicate class assertion warning
2
3 -- ghc 6.6 now warns about duplicate class assertions,
4
5 module ShouldSucceed where
6
7 class Eq' a where
8 doubleeq :: a -> a -> Bool
9
10 class (Eq' a) => Ord' a where
11 lt :: a -> a -> Bool
12
13 instance Eq' Int where
14 doubleeq x y = True
15
16 instance (Eq' a, Eq' a) => Eq' [a] where
17 doubleeq x y = True
18
19 f x y = doubleeq x [1]