ghc/compiler/tests/typecheck/should_succeed/tc075.hs

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