[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