Mercurial > urweb

comparison lib/ur/top.urs @ 1177:26fed2c4f5be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Louder jscomp; toUpper/Lower fix for JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Thu, 04 Mar 2010 13:47:16 -0500
parents 983d9b38abc7
children 61c3139eab12
comparison
equal deleted inserted replaced
1176:51e596feec37 1177:26fed2c4f5be
127 val queryL : tables ::: {{Type}} -> exps ::: {Type} 127 val queryL : tables ::: {{Type}} -> exps ::: {Type}
128 -> [tables ~ exps] => 128 -> [tables ~ exps] =>
129 sql_query tables exps 129 sql_query tables exps
130 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables)) 130 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables))
131 131
132 val query1 : t ::: Name -> fs ::: {Type} -> state ::: Type
133 -> sql_query [t = fs] []
134 -> ($fs -> state -> transaction state)
135 -> state
136 -> transaction state
137
138 val query1' : t ::: Name -> fs ::: {Type} -> state ::: Type
139 -> sql_query [t = fs] []
140 -> ($fs -> state -> state)
141 -> state
142 -> transaction state
143
132 val queryI : tables ::: {{Type}} -> exps ::: {Type} 144 val queryI : tables ::: {{Type}} -> exps ::: {Type}
133 -> [tables ~ exps] => 145 -> [tables ~ exps] =>
134 sql_query tables exps 146 sql_query tables exps
135 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 147 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
136 -> transaction unit) 148 -> transaction unit)