testsuite/tests/typecheck/should_fail/tcfail016.stderr


1
2
3
4
5
6
7


tcfail016.hs:8:1: error:
    • Couldn't match type ‘(t, Expr t)’ with ‘Expr t’
      Expected type: AnnExpr t -> [[Char]]
        Actual type: Expr t -> [[Char]]
    • Relevant bindings include
        g :: AnnExpr t -> [[Char]] (bound at tcfail016.hs:8:1)