summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 14:15:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-07 14:15:16 -0400
commit95eb24dfa2e3285c3745677acf481fe19b39ee0a (patch)
tree1aa4c73bb850e6bf55ff3d96acf3bc08213afe23 /lib
parenta034349c535b054c9d31beb4e1133f8cd0b68c5a (diff)
Parsing UPDATE
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.urs3
1 files changed, 2 insertions, 1 deletions
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