ghc/compiler/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
   4 class A a where
   5  op :: a
   6
   7 instance (A a, A a) => A [a] where
   8  op [] = []