ghc/tests/typecheck/should_compile/tc056.hs

   1 -- !!! Duplicate class assertion
   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) => Eq' [a] where
  15  doubleeq x y = True
  16
  17 f x y = doubleeq x [1]