Mercurial > urweb

comparison lib/ur/top.urs @ 1081:25d491287358

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.sql_nullable and Top.queryL
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Dec 2009 12:13:23 -0500
parents dcf98ae3c48d
children 8d3aa6c7cee0
comparison
equal deleted inserted replaced
1080:a4979e31e4bf 1081:25d491287358
116 -> [[nm] ~ rest] => 116 -> [[nm] ~ rest] =>
117 tf1 t -> tf2 t -> tf3 t -> xml ctx [] []) 117 tf1 t -> tf2 t -> tf3 t -> xml ctx [] [])
118 -> r :: {K} -> folder r 118 -> r :: {K} -> folder r
119 -> $(map tf1 r) -> $(map tf2 r) -> $(map tf3 r) -> xml ctx [] [] 119 -> $(map tf1 r) -> $(map tf2 r) -> $(map tf3 r) -> xml ctx [] []
120 120
121 val queryL : tables ::: {{Type}} -> exps ::: {Type}
122 -> [tables ~ exps] =>
123 sql_query tables exps
124 -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables))
125
121 val queryI : tables ::: {{Type}} -> exps ::: {Type} 126 val queryI : tables ::: {{Type}} -> exps ::: {Type}
122 -> [tables ~ exps] => 127 -> [tables ~ exps] =>
123 sql_query tables exps 128 sql_query tables exps
124 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) 129 -> ($(exps ++ map (fn fields :: {Type} => $fields) tables)
125 -> transaction unit) 130 -> transaction unit)