From 95eb24dfa2e3285c3745677acf481fe19b39ee0a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 7 Sep 2008 14:15:16 -0400
Subject: Parsing UPDATE

---
 lib/basis.urs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/basis.urs b/lib/basis.urs
index 13bb1de1..a095a57e 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -210,7 +210,8 @@ val insert : fields ::: {Type}
         -> 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
-- 
cgit v1.2.3