Mercurial > urweb

diff lib/ur/top.urs @ 1006:5a0f6ec208ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Checking deadline; sign-in
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 11:15:37 -0400
parents a87495bcaeec
children 5d9f47124c4c
line wrap: on
line diff
--- a/lib/ur/top.urs	Tue Oct 20 13:08:42 2009 -0400
+++ b/lib/ur/top.urs	Thu Oct 22 11:15:37 2009 -0400
@@ -151,6 +151,11 @@
                    -> sql_query [nm = fs] []
                    -> transaction (option $fs)
 
+val oneOrNoRowsE1 : tab ::: Name -> nm ::: Name -> t ::: Type
+                    -> [[tab] ~ [nm]] =>
+    sql_query [tab = []] [nm = t]
+    -> transaction (option t)
+
 val oneRow : tables ::: {{Type}} -> exps ::: {Type}
              -> [tables ~ exps] =>
              sql_query tables exps