Mercurial > urweb

comparison tests/query.ur @ 249:b6b75e6e0898

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify transaction wrappers
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 09:45:23 -0400
parents 71bafe66dbe1
children 326fb4686f60
comparison
equal deleted inserted replaced
248:d5b12daa9b47 249:b6b75e6e0898
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 int = 12 val r2 : transaction string =
13 ls <- r1; 13 ls <- r1;
14 return (case ls of 14 return (case ls of
15 Nil => 0 15 Nil => "Problem"
16 | Cons ({A = a, ...}, _) => a) 16 | Cons ({B = b, ...}, _) => b)
17
18 val main : unit -> transaction page = fn () =>
19 s <- r2;
20 return <html><body>
21 {cdata s}
22 </body></html>