Mercurial > urweb
diff lib/basis.urs @ 403:8084fa9216de
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]