ghc/tests/typecheck/should_fail/tcfail016.stderr

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