[Ur] Fwd: [Ur/Web 0000181]: No support for dml DELETE FROM without WHERE clause
Adam Chlipala
adamc at csail.mit.edu
Sun Aug 24 11:28:38 EDT 2014
On 08/24/2014 11:06 AM, Sergey Mironov wrote:
> (DELETE .. WHERE TRUE ) is OK in general, it's only problem is that it
> is completely non-obvious. I think dropping a note in a compiler's
> error message will be a good help here.
Unfortunately, I don't know how to configure the error-message behavior
of ml-yacc, so probably the message will remain as it is for now.
More information about the Ur
mailing list