[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