ghc/tests/typecheck/should_fail/tcfail016.stderr

   1
   2 tcfail016.hs:9:
   3     Couldn't match the type `AnnExpr a12M' against `Expr a12F'
   4     Expected: Expr a12M
   5     Inferred: AnnExpr a12M
   6     In the first argument of `g', namely `e1'
   7     In the first argument of `++', namely `(g e1)'
   8
   9
  10 Compilation had errors