[Ur] Compiler bug

Adam Chlipala adamc at impredicative.com
Fri Oct 21 08:52:58 EDT 2011


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




More information about the Ur mailing list