testsuite/tests/typecheck/should_fail/tcfail021.hs


1
2
3
4
5
6
7
8

-- !!! Illegally giving methods in a pattern binding (for no v good reason...)

module ShouldFail where

data Foo = MkFoo Int

instance Eq Foo where
    ((==), (/=)) = (\x -> \y -> True, \x -> \y -> False)