diff tests/where.lac @ 220:2b665e822e9a

SQL boolean operators
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 17:35:28 -0400
parents 5292c0113024
children 79819a6346e2
line wrap: on
line diff
--- a/tests/where.lac	Sat Aug 16 17:18:00 2008 -0400
+++ b/tests/where.lac	Sat Aug 16 17:35:28 2008 -0400
@@ -7,3 +7,4 @@
 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"}))