ghc/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 [] = []