Mercurial > urweb

comparison src/urweb.grm @ 342:f55034419a07

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud completed
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:14:40 -0400
parents 389399d65331
children b85e6ba56618
comparison
equal deleted inserted replaced
341:389399d65331 342:f55034419a07
808 | LPAREN enterDml UPDATE texp SET fsets CWHERE sqlexp leaveDml RPAREN 808 | LPAREN enterDml UPDATE texp SET fsets CWHERE sqlexp leaveDml RPAREN
809 (let 809 (let
810 val loc = s (LPARENleft, RPARENright) 810 val loc = s (LPARENleft, RPARENright)
811 811
812 val e = (EVar (["Basis"], "update"), loc) 812 val e = (EVar (["Basis"], "update"), loc)
813 val e = (ECApp (e, (CWild (KRecord (KType, loc), loc), loc)), loc)
813 val e = (EApp (e, (ERecord fsets, loc)), loc) 814 val e = (EApp (e, (ERecord fsets, loc)), loc)
814 val e = (EApp (e, texp), loc) 815 val e = (EApp (e, texp), loc)
815 in 816 in
816 (EApp (e, sqlexp), loc) 817 (EApp (e, sqlexp), loc)
817 end) 818 end)