[project @ 1997-09-05 09:16:19 by simonm]

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

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