summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T6123.stderr
blob: 3c77040f953035136e61698544835dffa313dbf3 (plain)
1
2
3
4
5
6
7
8
9

T6123.hs:10:14: error:
    • Occurs check: cannot construct the infinite type: t0 ~ Id t0
        arising from a use of ‘cid’
      The type variable ‘t0’ is ambiguous
    • In the expression: cid undefined
      In an equation for ‘cundefined’: cundefined = cid undefined
    • Relevant bindings include
        cundefined :: t0 (bound at T6123.hs:10:1)