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

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