ghc/tests/typecheck/should_fail/tcfail071.stderr

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