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

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]
    In an equation for `buglet': buglet = [x | (x, y) <- buglet]