Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail017.hs
1
2 module ShouldFail where
3
4 class C a where
5 op1 :: a -> a
6
7 class (C a) => B a where
8 op2 :: a -> a -> a
9
10 instance (B a) => B [a] where
11 op2 xs ys = xs
12
13