ghc/tests/typecheck/should_fail/tcfail016.stderr

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