Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail056.hs
1 module ShouldFail where
2
3 data Foo = MkFoo Bool
4
5 instance Eq Foo where
6 (MkFoo x) == (MkFoo y) = x == y
7
8 instance Eq Foo where
9 -- forgot to type "Ord" above
10 (MkFoo x) <= (MkFoo y) = x <= y
11