From 631b4b46de98cae2e6d207dc596fbd57a0a1beeb Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 16 Aug 2008 17:35:28 -0400
Subject: SQL boolean operators

---
 tests/where.lac | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests')

diff --git a/tests/where.lac b/tests/where.lac
index 7152a62b..ac61d2c6 100644
--- a/tests/where.lac
+++ b/tests/where.lac
@@ -7,3 +7,4 @@ 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"}))
-- 
cgit v1.2.3