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

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