ghc/tests/typecheck/should_fail/tcfail021.hs

   1 -- !!! Illegally giving methods in a pattern binding (for no v good reason...)
   2
   3 module ShouldFail where
   4
   5 data Foo = MkFoo Int
   6
   7 instance Eq Foo where
   8     ((==), (/=)) = (\x -> \y -> True, \x -> \y -> False)