Mercurial > urweb
comparison tests/where.ur @ 264:35ed669a253f
Monoize unops
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 31 Aug 2008 16:13:07 -0400 |
parents | 69d337f186eb |
children | 8bb46d87b074 |
comparison
equal
deleted
inserted
replaced
263:02e1870a0516 | 264:35ed669a253f |
---|---|
11 val q8 = (SELECT * FROM t1 WHERE t1.A = 1 OR t1.C < 3.0) | 11 val q8 = (SELECT * FROM t1 WHERE t1.A = 1 OR t1.C < 3.0) |
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 {A : int, B : string, C : float}) = | 15 val r1 : transaction (list {A : int, B : string, C : float}) = |
16 query q8 | 16 query q7 |
17 (fn fs acc => return (Cons (fs.T1, acc))) | 17 (fn fs acc => return (Cons (fs.T1, acc))) |
18 Nil | 18 Nil |
19 | 19 |
20 val r2 : transaction string = | 20 val r2 : transaction string = |
21 ls <- r1; | 21 ls <- r1; |