ghc/compiler/tests/typecheck/should_succeed/tc045.hs

   1 module H where
   2
   3 class C a where
   4  op1 :: a -> a
   5
   6 class (C a) => B a where
   7  op2 :: a -> a -> a
   8
   9 instance (B a) => B [a] where
  10  op2 xs ys = xs
  11
  12 instance C [a] where
  13  op1 xs = xs
  14
  15 {- This was passed by the prototype, but failed hard in the new
  16 typechecker with the message
  17
  18 Fail:No match in theta_class
  19 -}