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.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
