[Ur] dml DELETE and SELECT, way of referring to rows

Adam Chlipala adamc at impredicative.com
Tue Dec 29 16:49:37 EST 2009


Daniel Patterson wrote:
> Oh, nevermind about it working. it compiles and runs, it just doesn't
> actually delete anything. Ideas of what I'm doing wrong? Is there a
> specific example/part of the manual I should be looking more closely at?
>    

Your code was fine; a compiler bug was responsible.  You can pull a 
fixed version from the public Mercurial repository.



More information about the Ur mailing list