[project @ 1997-07-30 23:52:45 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc037.hi

interface ShouldSucceed where {
class Eq' a where {
    deq :: a -> a -> Bool
    };
instance (Eq' a) => Eq' [a] {-# FROMMODULE ShouldSucceed #-}
}