Mercurial > urweb

diff lib/basis.urs @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents 9f6fe6f32961
children a71600cac815
line wrap: on
line diff
--- a/lib/basis.urs	Tue Oct 21 15:11:42 2008 -0400
+++ b/lib/basis.urs	Tue Oct 21 16:41:11 2008 -0400
@@ -248,7 +248,7 @@
                            [] fields)
              -> dml
 
-val update : changed :: {Type} -> unchanged ::: {Type} ->
+val update : unchanged ::: {Type} -> changed :: {Type} ->
              fn [changed ~ unchanged] =>
                 $(fold (fn nm (t :: Type) acc [[nm] ~ acc] =>
                            [nm = sql_exp [T = changed ++ unchanged] [] [] t]