[project @ 1996-01-08 20:28:12 by partain]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc046.hs

module H where

class C a where
 op1 :: a -> a

class (C a) => B a where
 op2 :: a -> a -> a

{- Failed hard in new tc with "No match in theta_class" -}