Mercurial > urweb
comparison 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 |
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) |