Thanks! Fixed. (It wasn't that bad of a bug in the first place, since I think it only led to worse error messages, not a difference in functional behavior.)

Ron de Bruijn wrote:
I believe I found a compiler bug, which I already reduced to a minimal example:

[...]
unhandled exception: UnboundNamed


_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to