Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail016.stderr
1
2 tcfail016.hs:8:1: error:
3     • Couldn't match type ‘Expr a’ with ‘(a, Expr a)’
4       Expected type: AnnExpr a -> [[Char]]
5         Actual type: Expr a -> [[Char]]
6     • Relevant bindings include
7         g :: AnnExpr a -> [[Char]] (bound at tcfail016.hs:8:1)