Mercurial > urweb
comparison tests/agg.ur @ 265:b66e692422a4
Monoize COUNT(*)
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 31 Aug 2008 16:20:34 -0400 |
parents | 71bafe66dbe1 |
children | 7a7efbb3e354 |
comparison
equal
deleted
inserted
replaced
264:35ed669a253f | 265:b66e692422a4 |
---|---|
6 val q3 = (SELECT SUM(t1.C) AS X FROM t1) | 6 val q3 = (SELECT SUM(t1.C) AS X FROM t1) |
7 val q4 = (SELECT MIN(t1.B) AS X, MAX(t1.A) AS Y FROM t1) | 7 val q4 = (SELECT MIN(t1.B) AS X, MAX(t1.A) AS Y FROM t1) |
8 | 8 |
9 (*val q5 = (SELECT t1.A FROM t1 GROUP BY t1.B)*) | 9 (*val q5 = (SELECT t1.A FROM t1 GROUP BY t1.B)*) |
10 val q5 = (SELECT SUM(t1.A) AS X FROM t1 GROUP BY t1.B) | 10 val q5 = (SELECT SUM(t1.A) AS X FROM t1 GROUP BY t1.B) |
11 | |
12 | |
13 datatype list a = Nil | Cons of a * list a | |
14 | |
15 val r1 : transaction (list int) = | |
16 query q1 | |
17 (fn fs acc => return (Cons (fs.X, acc))) | |
18 Nil | |
19 | |
20 val main : unit -> transaction page = fn () => | |
21 n <- r1; | |
22 return <html><body>Nothing to see here!</body></html> |