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