ghc/tests/typecheck/should_fail/tcfail039.hs

   1 -- !!! bogus re-use of prelude class-method name (==)
   2 --
   3 module ShouldFail where
   4
   5 data NUM = ONE | TWO
   6 class EQ a where
   7         (==) :: a -> a -> Bool
   8
   9 instance EQ NUM where
  10         a /= b = False
  11         a == b = True