ghc/tests/typecheck/should_fail/tcfail020.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
  10 instance (A a) => B [a] where
  11  p3 = []
  12
  13 data X = XC --, causes stack dump
  14
  15 --instance B Bool where
  16 -- p3 = True