Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
402:ebf27030ae3b 403:8084fa9216de
246 -> $(fold (fn nm (t :: Type) acc [[nm] ~ acc] => 246 -> $(fold (fn nm (t :: Type) acc [[nm] ~ acc] =>
247 [nm = sql_exp [] [] [] t] ++ acc) 247 [nm = sql_exp [] [] [] t] ++ acc)
248 [] fields) 248 [] fields)
249 -> dml 249 -> dml
250 250
251 val update : changed :: {Type} -> unchanged ::: {Type} -> 251 val update : unchanged ::: {Type} -> changed :: {Type} ->
252 fn [changed ~ unchanged] => 252 fn [changed ~ unchanged] =>
253 $(fold (fn nm (t :: Type) acc [[nm] ~ acc] => 253 $(fold (fn nm (t :: Type) acc [[nm] ~ acc] =>
254 [nm = sql_exp [T = changed ++ unchanged] [] [] t] 254 [nm = sql_exp [T = changed ++ unchanged] [] [] t]
255 ++ acc) 255 ++ acc)
256 [] changed) 256 [] changed)