diff tests/where.lac @ 219:5292c0113024

SQL comparison operators
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 17:18:00 -0400
parents f4033abd6ab1
children 2b665e822e9a
line wrap: on
line diff
--- a/tests/where.lac	Sat Aug 16 16:57:21 2008 -0400
+++ b/tests/where.lac	Sat Aug 16 17:18:00 2008 -0400
@@ -5,3 +5,5 @@
 val q2 = (SELECT * FROM t1 WHERE TRUE)
 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"})