ghc/tests/typecheck/should_compile/tc046.hs

   1 module ShouldSucceed 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 {- Failed hard in new tc with "No match in theta_class" -}