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

[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 #-}
}