Mercurial > urweb
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 |