ghc/tests/typecheck/should_fail/tcfail071.stderr

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