Mercurial > urweb

comparison lib/ur/top.ur @ 1004:a87495bcaeec

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of user management
author Adam Chlipala <adamc@hcoop.net>
date Tue, 20 Oct 2009 12:48:53 -0400
parents 61c30f0742d7
children 5a0f6ec208ce
comparison
equal deleted inserted replaced
1003:61c30f0742d7 1004:a87495bcaeec
214 -> transaction unit) = 214 -> transaction unit) =
215 query q 215 query q
216 (fn fs _ => f fs) 216 (fn fs _ => f fs)
217 () 217 ()
218 218
219 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] 219 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]
220 [tables ~ exps] (q : sql_query tables exps) 220 [tables ~ exps] (q : sql_query tables exps)
221 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) 221 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables)
222 -> xml ctx [] []) = 222 -> xml ctx inp []) =
223 query q 223 query q
224 (fn fs acc => return <xml>{acc}{f fs}</xml>) 224 (fn fs acc => return <xml>{acc}{f fs}</xml>)
225 <xml/> 225 <xml/>
226 226
227 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] 227 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}]