ghc/tests/typecheck/should_fail/tcfail001.stderr

   1
   2 tcfail001.hs:9:warning:
   3     Duplicated class assertion `A a' in context: `(A a, A a)'
   4
   5 tcfail001.hs:9: Couldn't match the type
   6                     `PrelBase.[]' against `GHC.-> [takw]'
   7     Expected: `[takv]'
   8     Inferred: `[takw] -> [takx]'
   9     In an equation for function `op': `op PrelBase.[] = PrelBase.[]'
  10
  11
  12 Compilation had errors