ghc/compiler/tests/typecheck/should_fail/tcfail017.hs

   1
   2 module ShouldFail where
   3
   4 class C a where
   5  op1 :: a -> a
   6
   7 class (C a) => B a where
   8  op2 :: a -> a -> a
   9
  10 instance (B a) => B [a] where
  11  op2 xs ys = xs
  12
  13