diff lib/ur/top.ur @ 1081:25d491287358

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.ur	Sun Dec 20 15:17:43 2009 -0500
+++ b/lib/ur/top.ur	Tue Dec 22 12:13:23 2009 -0500
@@ -208,6 +208,11 @@
                <xml>{f [nm] [t] [rest] ! r1 r2 r3}{acc}</xml>)
            <xml/>
 
+fun queryL [tables] [exps] [tables ~ exps] (q : sql_query tables exps) =
+    query q
+    (fn r ls => return (r :: ls))
+    []
+
 fun queryI [tables ::: {{Type}}] [exps ::: {Type}]
            [tables ~ exps] (q : sql_query tables exps)
            (f : $(exps ++ map (fn fields :: {Type} => $fields) tables)