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

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