Add HsSyn prettyprinter tests
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail033.stderr
1
2 tcfail033.hs:4:12: error:
3     • Occurs check: cannot construct the infinite type: a ~ (a, b)
4     • In the expression: x
5       In the expression: [x | (x, y) <- buglet]
6       In an equation for ‘buglet’: buglet = [x | (x, y) <- buglet]
7     • Relevant bindings include
8         y :: b (bound at tcfail033.hs:4:19)
9         x :: a (bound at tcfail033.hs:4:17)
10         buglet :: [(a, b)] (bound at tcfail033.hs:4:1)