summaryrefslogtreecommitdiff
path: root/lib/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/basis.urs')
-rw-r--r--lib/basis.urs3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/basis.urs b/lib/basis.urs
index ff5c2163..13bb1de1 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -205,7 +205,8 @@ val dml : dml -> transaction unit
val insert : fields ::: {Type}
-> sql_table fields
- -> $fields
+ -> $(fold (fn nm (t :: Type) acc => [nm] ~ acc =>
+ [nm = sql_exp [T = fields] [] [] t] ++ acc) [] fields)
-> dml
val update : changed ::: {Type} -> unchanged ::: {Type} -> changed ~ unchanged