Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail077.hs
1 module ShouldFail where
2
3 -- !!! declaring a default method in a class that doesn't have that method.
4
5 class Foo a where
6 op :: a -> a
7
8 op2 x = x -- Bogus declaration