diff options
author | 2008-11-06 17:09:53 -0500 | |
---|---|---|
committer | 2008-11-06 17:09:53 -0500 | |
commit | 98d669cf07157e275fa796fdd5ad35f3388b0ad1 (patch) | |
tree | 16401277a8c24a1bcfcc410700526f64ba27a5b8 /lib/top.ur | |
parent | 5b41c32b3fb60944fd5d342f7f6ee4413510b9f5 (diff) |
About to begin optimization of recursive transaction functions
Diffstat (limited to 'lib/top.ur')
-rw-r--r-- | lib/top.ur | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -202,6 +202,17 @@ fun queryX (tables ::: {{Type}}) (exps ::: {Type}) (ctx ::: {Unit}) (fn fs acc => return <xml>{acc}{f fs}</xml>) <xml/> +fun queryX' (tables ::: {{Type}}) (exps ::: {Type}) (ctx ::: {Unit}) + (q : sql_query tables exps) [tables ~ exps] + (f : $(exps ++ fold (fn nm (fields :: {Type}) acc [[nm] ~ acc] => + [nm = $fields] ++ acc) [] tables) + -> transaction (xml ctx [] [])) = + query q + (fn fs acc => + r <- f fs; + return <xml>{acc}{r}</xml>) + <xml/> + fun oneOrNoRows (tables ::: {{Type}}) (exps ::: {Type}) (q : sql_query tables exps) [tables ~ exps] = query q |