ghc/tests/typecheck/should_compile/tc077.hs

   1 --!!! make sure context of EQ is minimised in interface file.
   2 --
   3 module ShouldSucceed where
   4
   5 data NUM = ONE | TWO
   6 class (Num a) => ORD a
   7
   8 class (ORD a, Show a) => EQ a where
   9         (===) :: a -> a -> Bool