[project @ 1998-12-02 13:17:09 by simonm]

[ghc-hetmet.git] / ghc / interpreter / test / static / s109.hs

--!!! Repeated type variable "a" in instance predicate
module M where
data T a b = MkT a b
instance Eq a => Eq (T a a)