ghc/tests/typecheck/should_compile/tc037.hs

   1 module ShouldSucceed where
   2
   3 class Eq' a where
   4   deq :: a -> a -> Bool
   5
   6 instance (Eq' a) => Eq' [a] where
   7  deq []     [] = True
   8  deq (x:xs) (y:ys) = if (x `deq` y) then (deq xs ys) else False
   9  deq other1 other2 = False