diff 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
line wrap: on
line diff
--- a/tests/where.ur	Tue Sep 02 16:10:07 2008 -0400
+++ b/tests/where.ur	Tue Sep 02 16:18:05 2008 -0400
@@ -7,7 +7,7 @@
 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