Mercurial > urweb

comparison lib/ur/top.ur @ 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
213 (fn [nm :: Name] [t :: K] [rest :: {K}] [[nm] ~ rest] 213 (fn [nm :: Name] [t :: K] [rest :: {K}] [[nm] ~ rest]
214 r1 r2 r3 acc => 214 r1 r2 r3 acc =>
215 <xml>{f [nm] [t] [rest] ! r1 r2 r3}{acc}</xml>) 215 <xml>{f [nm] [t] [rest] ! r1 r2 r3}{acc}</xml>)
216 <xml/> 216 <xml/>
217 217
218 fun query1 [t ::: Name] [fs ::: {Type}] [state ::: Type] (q : sql_query [t = fs] [])
219 (f : $fs -> state -> transaction state) (i : state) =
220 query q (fn r => f r.t) i
221
222 fun query1' [t ::: Name] [fs ::: {Type}] [state ::: Type] (q : sql_query [t = fs] [])
223 (f : $fs -> state -> state) (i : state) =
224 query q (fn r s => return (f r.t s)) i
225
218 fun queryL [tables] [exps] [tables ~ exps] (q : sql_query tables exps) = 226 fun queryL [tables] [exps] [tables ~ exps] (q : sql_query tables exps) =
219 query q 227 query q
220 (fn r ls => return (r :: ls)) 228 (fn r ls => return (r :: ls))
221 [] 229 []
222 230