Mercurial > urweb

comparison tests/agg.ur @ 266:7a7efbb3e354

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize aggregates
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:26:50 -0400
parents b66e692422a4
children ad9829c3c12c
comparison
equal deleted inserted replaced
265:b66e692422a4 266:7a7efbb3e354
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 11
12 12
13 datatype list a = Nil | Cons of a * list a 13 datatype list a = Nil | Cons of a * list a
14 14
15 val r1 : transaction (list int) = 15 val r1 : transaction (list string) =
16 query q1 16 query q4
17 (fn fs acc => return (Cons (fs.X, acc))) 17 (fn fs acc => return (Cons (fs.X, acc)))
18 Nil 18 Nil
19 19
20 val main : unit -> transaction page = fn () => 20 val main : unit -> transaction page = fn () =>
21 n <- r1; 21 n <- r1;