ghc/tests/typecheck/should_fail/tcfail001.stderr

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