comparison src/urweb.grm @ 305:55eedecb6c50

Remove need to mention table name in expressions for UPDATE and DELETE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:30:32 -0400
parents 148ba06f3e67
children 99e4f39e820d
comparison
equal deleted inserted replaced
304:148ba06f3e67 305:55eedecb6c50
751 | LPAREN UPDATE texp SET fsets CWHERE sqlexp RPAREN 751 | LPAREN UPDATE texp SET fsets CWHERE sqlexp RPAREN
752 (let 752 (let
753 val loc = s (LPARENleft, RPARENright) 753 val loc = s (LPARENleft, RPARENright)
754 754
755 val e = (EVar (["Basis"], "update"), loc) 755 val e = (EVar (["Basis"], "update"), loc)
756 val e = (ECApp (e, (CRecord (map (fn (nm, _) =>
757 (nm,
758 (CWild (KType, loc), loc)))
759 fsets), loc)), loc)
760 val e = (EApp (e, texp), loc)
756 val e = (EApp (e, (ERecord fsets, loc)), loc) 761 val e = (EApp (e, (ERecord fsets, loc)), loc)
757 val e = (EApp (e, texp), loc)
758 in 762 in
759 (EApp (e, sqlexp), loc) 763 (EApp (e, sqlexp), loc)
760 end) 764 end)
761 | LPAREN DELETE FROM texp CWHERE sqlexp RPAREN 765 | LPAREN DELETE FROM texp CWHERE sqlexp RPAREN
762 (let 766 (let