blob: a8a1315be781a33d07815c866d7c4cc831415a90 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
module ShouldFail where
data Foo = MkFoo Bool
instance Eq Foo where
(MkFoo x) == (MkFoo y) = x == y
instance Eq Foo where
-- forgot to type "Ord" above
(MkFoo x) <= (MkFoo y) = x <= y
|