Mercurial > urweb
comparison lib/ur/top.ur @ 1032:5d9f47124c4c
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 |
|---|---|
| 222 -> xml ctx inp []) = | 222 -> xml ctx inp []) = |
| 223 query q | 223 query q |
| 224 (fn fs acc => return <xml>{acc}{f fs}</xml>) | 224 (fn fs acc => return <xml>{acc}{f fs}</xml>) |
| 225 <xml/> | 225 <xml/> |
| 226 | 226 |
| 227 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] | 227 fun queryX' [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}] |
| 228 [tables ~ exps] (q : sql_query tables exps) | 228 [tables ~ exps] (q : sql_query tables exps) |
| 229 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) | 229 (f : $(exps ++ map (fn fields :: {Type} => $fields) tables) |
| 230 -> transaction (xml ctx [] [])) = | 230 -> transaction (xml ctx inp [])) = |
| 231 query q | 231 query q |
| 232 (fn fs acc => | 232 (fn fs acc => |
| 233 r <- f fs; | 233 r <- f fs; |
| 234 return <xml>{acc}{r}</xml>) | 234 return <xml>{acc}{r}</xml>) |
| 235 <xml/> | 235 <xml/> |