Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail001.hs
1 -- !!! This should fail with a type error: the instance method
2 -- !!! has a function type when it should have the type [a].
3 module ShouldFail where
4
5 class A a where
6 op :: a
7
8 instance (A a, A a) => A [a] where
9 op [] = []