Mercurial > urweb
diff src/urweb.grm @ 304:148ba06f3e67
Parsing DELETE
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 14:19:05 -0400 |
parents | 7204fab29486 |
children | 55eedecb6c50 |
line wrap: on
line diff
--- a/src/urweb.grm Sun Sep 07 14:15:16 2008 -0400 +++ b/src/urweb.grm Sun Sep 07 14:19:05 2008 -0400 @@ -758,6 +758,15 @@ in (EApp (e, sqlexp), loc) end) + | LPAREN DELETE FROM texp CWHERE sqlexp RPAREN + (let + val loc = s (LPARENleft, RPARENright) + + val e = (EVar (["Basis"], "delete"), loc) + val e = (EApp (e, texp), loc) + in + (EApp (e, sqlexp), loc) + end) | UNDER (EWild, s (UNDERleft, UNDERright))