ghc/tests/typecheck/should_fail/tcfail071.stderr

   1
   2 tcfail071.hs:10: Couldn't match the signature/existential type variable
   3                      `taDJ' with the type `taDW -> taDT -> taDT'
   4     Expected: `taDJ'
   5     Inferred: `taDW -> taDT -> taDT'
   6     In the first argument of `f', namely `c'
   7     In the first argument of `foldr', namely `(f c)'
   8     In a pattern binding: `p = foldr (f c) [] []'
   9
  10 tcfail071.hs:8: Mismatched contexts
  11     When matching the contexts of the signatures for `f' and `g'
  12         (the signature contexts in a mutually recursive group should all be identical)
  13
  14 Compilation had errors