From 5ec949e910342f6212c85c8df75283d091817408 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 15 Jan 2011 14:53:13 -0500
Subject: Allow subqueries to reference aggregate-only columns of free tables;
 treat non-COUNT aggregate functions as possibly returning NULL

---
 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 9ad738f1..8284510d 100644
--- a/lib/ur/list.urs
+++ b/lib/ur/list.urs
@@ -53,19 +53,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