Mercurial > urweb

comparison src/urweb.grm @ 306:99e4f39e820d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Scratch that change....
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:38:14 -0400
parents 55eedecb6c50
children 0aee86b8a6d6
comparison
equal deleted inserted replaced
305:55eedecb6c50 306:99e4f39e820d
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, _) => 756 val e = (EApp (e, (ERecord fsets, loc)), loc)
757 (nm,
758 (CWild (KType, loc), loc)))
759 fsets), loc)), loc)
760 val e = (EApp (e, texp), loc) 757 val e = (EApp (e, texp), loc)
761 val e = (EApp (e, (ERecord fsets, loc)), loc)
762 in 758 in
763 (EApp (e, sqlexp), loc) 759 (EApp (e, sqlexp), loc)
764 end) 760 end)
765 | LPAREN DELETE FROM texp CWHERE sqlexp RPAREN 761 | LPAREN DELETE FROM texp CWHERE sqlexp RPAREN
766 (let 762 (let