SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / 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