Mercurial > urweb
comparison lib/ur/top.ur @ 1177:26fed2c4f5be
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 |