[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