testsuite/tests/typecheck/should_fail/tcfail016.stderr


1
2
3
4
5
6
7
8


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