Mercurial > urweb

comparison lib/ur/top.ur @ 1363:7dd8a6704265

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Top.queryI1; fix definition of uw_Basis_minTime
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 16:41:10 -0500
parents 02fc16faecf3
children d328983dc5a6
comparison
equal deleted inserted replaced
1362:fd34210bc3e5 1363:7dd8a6704265
239 -> transaction unit) = 239 -> transaction unit) =
240 query q 240 query q
241 (fn fs _ => f fs) 241 (fn fs _ => f fs)
242 () 242 ()
243 243
244 fun queryI1 [nm ::: Name] [fs ::: {Type}] (q : sql_query [] [nm = fs] [])
245 (f : $fs -> transaction unit) =
246 query q
247 (fn fs _ => f fs.nm)
248 ()
249
244 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}] 250 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]
245 [tables ~ exps] (q : sql_query [] tables exps) 251 [tables ~ exps] (q : sql_query [] tables exps)
246 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) 252 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables)
247 -> xml ctx inp []) = 253 -> xml ctx inp []) =
248 query q 254 query q