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

   1
   2 module P where
   3
   4 class A a where
   5  p1 :: a -> a
   6  p2 :: a -> a -> a
   7
   8 class (A b) => B b where
   9  p3 :: b
  10  p4 :: b -> b
  11
  12 class (A c) => C c where
  13  p5 :: c -> c
  14  p6 :: c -> Int
  15
  16 class (B d,C d) => D d where
  17  p7 :: d -> d
  18
  19 instance D [a] where
  20  p7 l = []
  21