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