Mercurial > urweb

comparison tests/query.ur @ 251:326fb4686f60

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 10:36:54 -0400
parents b6b75e6e0898
children 7f6620853c36
comparison
equal deleted inserted replaced
250:98f551ddd54b 251:326fb4686f60
4 datatype list a = Nil | Cons of a * list a 4 datatype list a = Nil | Cons of a * list a
5 5
6 val q1 = (SELECT * FROM t1) 6 val q1 = (SELECT * FROM t1)
7 val r1 : transaction (list {A : int, B : string, C : float}) = 7 val r1 : transaction (list {A : int, B : string, C : float}) =
8 query q1 8 query q1
9 (fn fs _ acc => return (Cons (fs.T1, acc))) 9 (fn fs acc => return (Cons (fs.T1, acc)))
10 Nil 10 Nil
11 11
12 val r2 : transaction string = 12 val r2 : transaction string =
13 ls <- r1; 13 ls <- r1;
14 return (case ls of 14 return (case ls of