5aec1761e99a50cd4535140909b2c959ad8a4ca6
[ghc.git] / testsuite / tests / indexed-types / should_fail / T6123.stderr
1
2 T6123.hs:10:14:
3     Occurs check: cannot construct the infinite type: a0 ~ Id a0
4     The type variable ‘a0’ is ambiguous
5     Relevant bindings include cundefined :: a0 (bound at T6123.hs:10:1)
6     In the expression: cid undefined
7     In an equation for ‘cundefined’: cundefined = cid undefined