summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail033.stderr
blob: 3a9496ead151ba592a80a31255dfc29f9378b33a (plain)
1
2
3
4
5
6
7
8
9

tcfail033.hs:4:12:
    Occurs check: cannot construct the infinite type: t ~ (t, t1)
    Relevant bindings include
      buglet :: [(t, t1)] (bound at tcfail033.hs:4:1)
      x :: t (bound at tcfail033.hs:4:17)
      y :: t1 (bound at tcfail033.hs:4:19)
    In the expression: x
    In the expression: [x | (x, y) <- buglet]