diff 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
line wrap: on
line diff
--- a/src/urweb.grm	Sun Sep 07 14:19:05 2008 -0400
+++ b/src/urweb.grm	Sun Sep 07 14:30:32 2008 -0400
@@ -753,8 +753,12 @@
                                              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, texp), loc)
                                              val e = (EApp (e, (ERecord fsets, loc)), loc)
-                                             val e = (EApp (e, texp), loc)
                                          in
                                              (EApp (e, sqlexp), loc)
                                          end)