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