Mercurial > urweb
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)