ghc/tests/typecheck/should_fail/tcfail001.stderr

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