From a33b1fdbf6ff02d806ac5c563f9274abc57b6a43 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 16 Mar 2010 15:54:35 -0400 Subject: COUNT(col) --- tests/agg.ur | 19 +++++-------------- 1 file changed, 5 insertions(+), 14 deletions(-) (limited to 'tests/agg.ur') diff --git a/tests/agg.ur b/tests/agg.ur index 7e091060..55e22c28 100644 --- a/tests/agg.ur +++ b/tests/agg.ur @@ -1,22 +1,13 @@ table t1 : {A : int, B : string, C : float} -table t2 : {A : float, D : int} +table t2 : {A : float, D : int, E : option string} val q1 = (SELECT COUNT( * ) AS X FROM t1) val q2 = (SELECT AVG(t1.A) AS X FROM t1) val q3 = (SELECT SUM(t1.C) AS X FROM t1) val q4 = (SELECT MIN(t1.B) AS X, MAX(t1.A) AS Y FROM t1) - -(*val q5 = (SELECT t1.A FROM t1 GROUP BY t1.B)*) val q5 = (SELECT SUM(t1.A) AS X FROM t1 GROUP BY t1.B) +val q6 = (SELECT COUNT(t2.E) AS N FROM t2 GROUP BY t2.D) - -datatype list a = Nil | Cons of a * list a - -val r1 : transaction (list string) = - query q4 - (fn fs acc => return (Cons (fs.X, acc))) - Nil - -val main : unit -> transaction page = fn () => - n <- r1; - return Nothing to see here! +fun main () : transaction page = + xml <- queryX q6 (fn r => {[r.N]};); + return {xml} -- cgit v1.2.3