Mercurial > urweb

comparison src/urweb.grm @ 304:148ba06f3e67

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing DELETE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:19:05 -0400
parents 7204fab29486
children 55eedecb6c50
comparison
equal deleted inserted replaced
303:7204fab29486 304:148ba06f3e67
756 val e = (EApp (e, (ERecord fsets, loc)), loc) 756 val e = (EApp (e, (ERecord fsets, loc)), loc)
757 val e = (EApp (e, texp), loc) 757 val e = (EApp (e, texp), loc)
758 in 758 in
759 (EApp (e, sqlexp), loc) 759 (EApp (e, sqlexp), loc)
760 end) 760 end)
761 | LPAREN DELETE FROM texp CWHERE sqlexp RPAREN
762 (let
763 val loc = s (LPARENleft, RPARENright)
764
765 val e = (EVar (["Basis"], "delete"), loc)
766 val e = (EApp (e, texp), loc)
767 in
768 (EApp (e, sqlexp), loc)
769 end)
761 770
762 | UNDER (EWild, s (UNDERleft, UNDERright)) 771 | UNDER (EWild, s (UNDERleft, UNDERright))
763 772
764 texp : SYMBOL (EVar ([], SYMBOL), s (SYMBOLleft, SYMBOLright)) 773 texp : SYMBOL (EVar ([], SYMBOL), s (SYMBOLleft, SYMBOLright))
765 | LBRACE LBRACE eexp RBRACE RBRACE (eexp) 774 | LBRACE LBRACE eexp RBRACE RBRACE (eexp)