--- a/lib/ur/top.ur	Tue Oct 20 13:08:42 2009 -0400
+++ b/lib/ur/top.ur	Thu Oct 22 11:15:37 2009 -0400
@@ -246,6 +246,11 @@
           (fn fs _ => return (Some fs.nm))
           None
 
+fun oneOrNoRowsE1 [tab ::: Name] [nm ::: Name] [t ::: Type] [[tab] ~ [nm]] (q : sql_query [tab = []] [nm = t]) =
+    query q
+          (fn fs _ => return (Some fs.nm))
+          None
+
 fun oneRow [tables ::: {{Type}}] [exps ::: {Type}]
            [tables ~ exps] (q : sql_query tables exps) =
     o <- oneOrNoRows q;