adamc@235: table t1 : {A : int, B : string, C : float} adamc@235: table t2 : {A : float, D : int} adamc@235: adamc@236: val q1 = (SELECT COUNT( * ) AS X FROM t1) adamc@236: val q2 = (SELECT AVG(t1.A) AS X FROM t1) adamc@236: val q3 = (SELECT SUM(t1.C) AS X FROM t1) adamc@236: val q4 = (SELECT MIN(t1.B) AS X, MAX(t1.A) AS Y FROM t1) adamc@237: adamc@237: (*val q5 = (SELECT t1.A FROM t1 GROUP BY t1.B)*) adamc@237: val q5 = (SELECT SUM(t1.A) AS X FROM t1 GROUP BY t1.B) adamc@265: adamc@265: adamc@265: datatype list a = Nil | Cons of a * list a adamc@265: adamc@266: val r1 : transaction (list string) = adamc@266: query q4 adamc@265: (fn fs acc => return (Cons (fs.X, acc))) adamc@265: Nil adamc@265: adamc@265: val main : unit -> transaction page = fn () => adamc@265: n <- r1; adamc@265: return Nothing to see here!