summaryrefslogtreecommitdiff
path: root/lib/ur/top.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-24 16:41:10 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-24 16:41:10 -0500
commit15aa6f21492886d96545da1e0b0e5f8e5d796c8d (patch)
treeb5dcda955d15cd13ca71e4fc21251701d03a0c9a /lib/ur/top.urs
parent64b7c504f9c1651a11f29a32a0c0ef5db6fdc982 (diff)
Top.queryI1; fix definition of uw_Basis_minTime
Diffstat (limited to 'lib/ur/top.urs')
-rw-r--r--lib/ur/top.urs5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/ur/top.urs b/lib/ur/top.urs
index 74b04ed1..d86ae553 100644
--- a/lib/ur/top.urs
+++ b/lib/ur/top.urs
@@ -152,6 +152,11 @@ val queryI : tables ::: {{Type}} -> exps ::: {Type}
-> transaction unit)
-> transaction unit
+val queryI1 : nm ::: Name -> fs ::: {Type}
+ -> sql_query [] [nm = fs] []
+ -> ($fs -> transaction unit)
+ -> transaction unit
+
val queryX : tables ::: {{Type}} -> exps ::: {Type} -> ctx ::: {Unit} -> inp ::: {Type}
-> [tables ~ exps] =>
sql_query [] tables exps