ghc/compiler/tests/typecheck/should_fail/tcfail039.hs

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