diff src/urweb.grm @ 300:cde1ec47f3af

Elaborated 'update'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:51:07 -0400
parents 5f6a60b7ab00
children bc89dfdbc495
line wrap: on
line diff
--- a/src/urweb.grm	Sun Sep 07 13:47:10 2008 -0400
+++ b/src/urweb.grm	Sun Sep 07 13:51:07 2008 -0400
@@ -726,6 +726,7 @@
                                                (EPrim (Prim.String ""), s (XML_BEGINleft, XML_ENDright))),
                                          s (XML_BEGINleft, XML_ENDright))
        | LPAREN query RPAREN            (query)
+       | LPAREN CWHERE sqlexp RPAREN    (sqlexp)
        | UNDER                          (EWild, s (UNDERleft, UNDERright))
 
 idents : ident                          ([ident])