From 8956b5096cd268b6eb73040ede0688849084c5fe Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 25 Mar 2010 15:44:24 -0400
Subject: Subquery expressions

---
 lib/ur/list.urs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/ur/list.urs')

diff --git a/lib/ur/list.urs b/lib/ur/list.urs
index c5e41816..00c95053 100644
--- a/lib/ur/list.urs
+++ b/lib/ur/list.urs
@@ -51,19 +51,19 @@ val app : m ::: (Type -> Type) -> monad m -> a ::: Type
 
 val mapQuery : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
                -> [tables ~ exps] =>
-    sql_query tables exps
+    sql_query [] tables exps
     -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> t)
     -> transaction (list t)
 
 val mapQueryM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
                -> [tables ~ exps] =>
-    sql_query tables exps
+    sql_query [] tables exps
     -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction t)
     -> transaction (list t)
 
 val mapQueryPartialM : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
                -> [tables ~ exps] =>
-    sql_query tables exps
+    sql_query [] tables exps
     -> ($(exps ++ map (fn fields :: {Type} => $fields) tables) -> transaction (option t))
     -> transaction (list t)
 
-- 
cgit v1.2.3