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

T6123.hs:10:14: error:
    Occurs check: cannot construct the infinite type: t0 ~ Id t0
    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)