Mercurial > urweb

comparison lib/ur/top.urs @ 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
123 sql_query tables exps 123 sql_query tables exps
124 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 124 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
125 -> transaction unit) 125 -> transaction unit)
126 -> transaction unit 126 -> transaction unit
127 127
128 val queryX : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} 128 val queryX : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type}
129 -> [tables ~ exps] => 129 -> [tables ~ exps] =>
130 sql_query tables exps 130 sql_query tables exps
131 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 131 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
132 -> xml ctx [] []) 132 -> xml ctx inp [])
133 -> transaction (xml ctx [] []) 133 -> transaction (xml ctx inp [])
134 134
135 val queryX' : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} 135 val queryX' : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit}
136 -> [tables ~ exps] => 136 -> [tables ~ exps] =>
137 sql_query tables exps 137 sql_query tables exps
138 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 138 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)