Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/top.urs	Sun Dec 20 15:17:43 2009 -0500
+++ b/lib/ur/top.urs	Tue Dec 22 12:13:23 2009 -0500
@@ -118,6 +118,11 @@
               -> r :: {K} -> folder r
               -> $(map tf1 r) -> $(map tf2 r) -> $(map tf3 r) -> xml ctx [] []
 
+val queryL : tables ::: {{Type}} -> exps ::: {Type}
+             -> [tables ~ exps] =>
+                  sql_query tables exps
+                  -> transaction (list $(exps ++ map (fn fields :: {Type} => $fields) tables))
+
 val queryI : tables ::: {{Type}} -> exps ::: {Type}
              -> [tables ~ exps] =>
              sql_query tables exps