testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc051.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2
3 module ShouldSucceed where
4
5 class Eq' a where
6 doubleeq :: a -> a -> Bool
7
8 class (Eq' a) => Ord' a where
9 lt :: a -> a -> Bool
10
11 instance Eq' Int where
12 doubleeq x y = True
13
14 instance (Eq' a) => Eq' [a] where
15 doubleeq x y = True
16
17 instance Ord' Int where
18 lt x y = True
19
20 {-
21 class (Ord a) => Ix a where
22 range :: (a,a) -> [a]
23
24 instance Ix Int where
25 range (x,y) = [x,y]
26 -}
27
28
29
30
31
32