ghc/tests/typecheck/should_fail/tcfail001.stderr

   1
   2 tcfail001.hs:8:
   3     Warning: Duplicate class assertion `A a' in the context:
   4                  (A a, A a) => ...
   5
   6 tcfail001.hs:9:
   7     Couldn't match `[a]' against `t -> t1'
   8         Expected type: [a]
   9         Inferred type: t -> t1
  10     In an equation for function `op': op [] = []
  11     In the definition for method `op'