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

   1 module ShouldFail where
   2
   3 data Foo = MkFoo Bool
   4
   5 instance Eq Foo where
   6     (MkFoo x) == (MkFoo y) = x == y
   7
   8 instance Eq Foo where
   9     -- forgot to type "Ord" above
  10     (MkFoo x) <= (MkFoo y) = x <= y
  11