Mercurial > urweb
comparison tests/where.ur @ 279:8bb46d87b074
Update MLton main file
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 16:18:05 -0400 |
parents | 35ed669a253f |
children |
comparison
equal
deleted
inserted
replaced
278:137744c5b1ae | 279:8bb46d87b074 |
---|---|
5 val q2 = (SELECT * FROM t1 WHERE TRUE) | 5 val q2 = (SELECT * FROM t1 WHERE TRUE) |
6 val q3 = (SELECT * FROM t1 WHERE FALSE) | 6 val q3 = (SELECT * FROM t1 WHERE FALSE) |
7 val q4 = (SELECT * FROM t1 WHERE {True}) | 7 val q4 = (SELECT * FROM t1 WHERE {True}) |
8 val q5 = (SELECT * FROM t1 WHERE {1} = {1}) | 8 val q5 = (SELECT * FROM t1 WHERE {1} = {1}) |
9 val q6 = (SELECT * FROM t1 WHERE {"Hi"} < {"Bye"}) | 9 val q6 = (SELECT * FROM t1 WHERE {"Hi"} < {"Bye"}) |
10 val q7 = (SELECT * FROM t1 WHERE {1} <> {1} AND NOT ({"Hi"} >= {"Bye"})) | 10 val q7 = (SELECT * FROM t1 WHERE {1} = {1} AND NOT ({"Hi"} <= {"Bye"})) |
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}) = |