ghc/tests/typecheck/should_fail/tcfail016.stderr

   1
   2 tcfail016.hs:9: Couldn't match the type `Expr' against `(,) taTH'
   3     Expected: `AnnExpr taTH'
   4     Inferred: `Expr taTH'
   5     In the first argument of `g', namely `e1'
   6     In the first argument of `++', namely `(g e1)'
   7     In an equation for function `g': `g (App e1 e2) = (g e1) ++ (g e2)'
   8
   9 Compilation had errors