Mercurial > urweb

comparison lib/ur/top.urs @ 1072:9001966ae1c8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Weakening-type coercions for SQL values
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 13:00:55 -0500
parents b89e3d8731ed
children d89f98f0b4bb
comparison
equal deleted inserted replaced
1071:26197c957ad6 1072:9001966ae1c8
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 inp [])) 139 -> transaction (xml ctx inp []))
140 -> transaction (xml ctx inp []) 140 -> transaction (xml ctx inp [])
141 141
142 val hasRows : tables ::: {{Type}} -> exps ::: {Type}
143 -> [tables ~ exps] =>
144 sql_query tables exps
145 -> transaction bool
146
142 val oneOrNoRows : tables ::: {{Type}} -> exps ::: {Type} 147 val oneOrNoRows : tables ::: {{Type}} -> exps ::: {Type}
143 -> [tables ~ exps] => 148 -> [tables ~ exps] =>
144 sql_query tables exps 149 sql_query tables exps
145 -> transaction 150 -> transaction
146 (option 151 (option