Mercurial > urweb

comparison lib/top.urs @ 469:b393c2fc80f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
About to begin optimization of recursive transaction functions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 17:09:53 -0500
parents dfc8c991abd0
children 7cb418e9714f
comparison
equal deleted inserted replaced
468:4efab85405be 469:b393c2fc80f8
139 ($(exps ++ fold (fn nm (fields :: {Type}) acc [[nm] ~ acc] => 139 ($(exps ++ fold (fn nm (fields :: {Type}) acc [[nm] ~ acc] =>
140 [nm = $fields] ++ acc) [] tables) 140 [nm = $fields] ++ acc) [] tables)
141 -> xml ctx [] []) 141 -> xml ctx [] [])
142 -> transaction (xml ctx [] []) 142 -> transaction (xml ctx [] [])
143 143
144 val queryX' : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit}
145 -> sql_query tables exps
146 -> fn [tables ~ exps] =>
147 ($(exps ++ fold (fn nm (fields :: {Type}) acc [[nm] ~ acc] =>
148 [nm = $fields] ++ acc) [] tables)
149 -> transaction (xml ctx [] []))
150 -> transaction (xml ctx [] [])
151
144 val oneOrNoRows : tables ::: {{Type}} -> exps ::: {Type} 152 val oneOrNoRows : tables ::: {{Type}} -> exps ::: {Type}
145 -> sql_query tables exps 153 -> sql_query tables exps
146 -> fn [tables ~ exps] => 154 -> fn [tables ~ exps] =>
147 transaction 155 transaction
148 (option 156 (option