Mercurial > urweb
diff src/urweb.grm @ 306:99e4f39e820d
Scratch that change....
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 07 Sep 2008 14:38:14 -0400 |
| parents | 55eedecb6c50 |
| children | 0aee86b8a6d6 |
line wrap: on
line diff
--- a/src/urweb.grm Sun Sep 07 14:30:32 2008 -0400 +++ b/src/urweb.grm Sun Sep 07 14:38:14 2008 -0400 @@ -753,12 +753,8 @@ val loc = s (LPARENleft, RPARENright) val e = (EVar (["Basis"], "update"), loc) - val e = (ECApp (e, (CRecord (map (fn (nm, _) => - (nm, - (CWild (KType, loc), loc))) - fsets), loc)), loc) + val e = (EApp (e, (ERecord fsets, loc)), loc) val e = (EApp (e, texp), loc) - val e = (EApp (e, (ERecord fsets, loc)), loc) in (EApp (e, sqlexp), loc) end)