[project @ 1997-07-26 22:48:58 by sof]
[ghc.git] / ghc / tests / typecheck / should_compile / tc061.hs
1 module ShouldSucceed where
2
3 class Eq1 a where
4 deq :: a -> a -> Bool
5
6 instance (Eq1 a) => Eq1 [a] where
7 deq (a:as) (b:bs) = deq a b
8
9 instance Eq1 Int where
10 deq x y = True
11