ghc/tests/typecheck/should_fail/tcfail016.stderr

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