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