From 15aa6f21492886d96545da1e0b0e5f8e5d796c8d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 24 Dec 2010 16:41:10 -0500
Subject: Top.queryI1; fix definition of uw_Basis_minTime

---
 lib/ur/top.ur | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/ur/top.ur')

diff --git a/lib/ur/top.ur b/lib/ur/top.ur
index 19259e92..83d5b6af 100644
--- a/lib/ur/top.ur
+++ b/lib/ur/top.ur
@@ -241,6 +241,12 @@ fun queryI [tables ::: {{Type}}] [exps ::: {Type}]
           (fn fs _ => f fs)
           ()
 
+fun queryI1 [nm ::: Name] [fs ::: {Type}] (q : sql_query [] [nm = fs] [])
+            (f : $fs -> transaction unit) =
+    query q
+          (fn fs _ => f fs.nm)
+          ()
+
 fun queryX [tables ::: {{Type}}] [exps ::: {Type}] [ctx ::: {Unit}] [inp ::: {Type}]
            [tables ~ exps] (q : sql_query [] tables exps)
            (f : $(exps ++ map (fn fields :: {Type} => $fields) tables)
-- 
cgit v1.2.3