Mercurial > urweb

diff lib/basis.urs @ 303:7204fab29486

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing UPDATE
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 14:15:16 -0400
parents bc89dfdbc495
children 55eedecb6c50
line wrap: on
line diff
--- a/lib/basis.urs	Sun Sep 07 14:07:10 2008 -0400
+++ b/lib/basis.urs	Sun Sep 07 14:15:16 2008 -0400
@@ -210,7 +210,8 @@
         -> dml
 
 val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged
-        -> $changed
+        -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc =>
+                [nm = sql_exp [T = changed ++ unchanged] [] [] t] ++ acc) [] changed)
         -> sql_table (changed ++ unchanged)
         -> sql_exp [T = changed ++ unchanged] [] [] bool
         -> dml