diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 16:18:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 16:18:05 -0400 |
| commit | 5885d66bebeece6ba2f7b6a1b11f719086423114 (patch) | |
| tree | 3814ca02933357943fd3bc142db77fe28f0081eb /tests/where.ur | |
| parent | 42ad3a0b10a3e41d1b011b568c0643436e3bb101 (diff) | |
Update MLton main file
Diffstat (limited to 'tests/where.ur')
| -rw-r--r-- | tests/where.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/where.ur b/tests/where.ur index aa6c519b..55381ca7 100644 --- a/tests/where.ur +++ b/tests/where.ur @@ -7,7 +7,7 @@ val q3 = (SELECT * FROM t1 WHERE FALSE) val q4 = (SELECT * FROM t1 WHERE {True}) val q5 = (SELECT * FROM t1 WHERE {1} = {1}) val q6 = (SELECT * FROM t1 WHERE {"Hi"} < {"Bye"}) -val q7 = (SELECT * FROM t1 WHERE {1} <> {1} AND NOT ({"Hi"} >= {"Bye"})) +val q7 = (SELECT * FROM t1 WHERE {1} = {1} AND NOT ({"Hi"} <= {"Bye"})) val q8 = (SELECT * FROM t1 WHERE t1.A = 1 OR t1.C < 3.0) datatype list a = Nil | Cons of a * list a |