blob: c52d39ae08ba2a0b3cf690d24720999f984c6e2f (
plain)
1
2
3
4
5
6
7
8
9
10
|
-- what error do you get if you redefined Prelude instances?
module ShouldFail where
f :: (Eq a) => (a,a) -> (a,a) -> Bool
f x y = x == y
instance Eq a => Eq (a,b) where
(m,n) == (o,p) = m == o
|