ghc/tests/typecheck/should_fail/tcfail071.stderr

   1
   2 tcfail071.hs:5:
   3     Mismatched contexts
   4     When matching the contexts of the signatures for `g' and `f'
   5         (the signature contexts in a mutually recursive group should all be identical)
   6
   7 tcfail071.hs:10:
   8     Cannot unify the type-signature variable `c'
   9         with the type `a -> b -> b'
  10         Expected type: a -> b -> b
  11         Inferred type: c
  12     In the first argument of `f', namely `c'
  13     In the first argument of `foldr', namely `(f c)'