Mercurial > urweb

comparison lib/top.urs @ 440:19d7f79cd584

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Time MIN/MAX
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:16:37 -0400
parents 0ce90d4d9ae7
children dfc8c991abd0
comparison
equal deleted inserted replaced
439:322c8620bbdf 440:19d7f79cd584
114 $(exps 114 $(exps
115 ++ fold (fn nm (fields :: {Type}) acc 115 ++ fold (fn nm (fields :: {Type}) acc
116 [[nm] ~ acc] => 116 [[nm] ~ acc] =>
117 [nm = $fields] ++ acc) 117 [nm = $fields] ++ acc)
118 [] tables)) 118 [] tables))
119
120 val oneRow : tables ::: {{Type}} -> exps ::: {Type}
121 -> sql_query tables exps
122 -> fn [tables ~ exps] =>
123 transaction
124 $(exps
125 ++ fold (fn nm (fields :: {Type}) acc
126 [[nm] ~ acc] =>
127 [nm = $fields] ++ acc)
128 [] tables)