testsuite/tests/typecheck/should_fail/tcfail056.hs


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