ghc/tests/typecheck/should_fail/tcfail019.hs

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