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}) =