Mercurial > urweb

comparison lib/ur/top.urs @ 1032:5d9f47124c4c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Saving paper decisions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 07 Nov 2009 11:06:38 -0500
parents 5a0f6ec208ce
children b89e3d8731ed
comparison
equal deleted inserted replaced
1031:5dccff15fa62 1032:5d9f47124c4c
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 inp []) 132 -> xml ctx inp [])
133 -> transaction (xml ctx inp []) 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} -> inp ::: {Type}
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)
139 -> transaction (xml ctx [] [])) 139 -> transaction (xml ctx inp []))
140 -> transaction (xml ctx [] []) 140 -> transaction (xml ctx inp [])
141 141
142 val oneOrNoRows : tables ::: {{Type}} -> exps ::: {Type} 142 val oneOrNoRows : tables ::: {{Type}} -> exps ::: {Type}
143 -> [tables ~ exps] => 143 -> [tables ~ exps] =>
144 sql_query tables exps 144 sql_query tables exps
145 -> transaction 145 -> transaction