summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-16 12:15:38 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-16 12:15:38 -0400
commit58a120615454c5eb73b560f8d3de6a45310d4aab (patch)
tree4d852c455a49058e8ade712c4e0e4bdd1a943697 /tests
parent3c28b7024034c5969525035f8b602272441dd323 (diff)
Stub WHERE support
Diffstat (limited to 'tests')
-rw-r--r--tests/where.lac6
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/where.lac b/tests/where.lac
new file mode 100644
index 00000000..1454583b
--- /dev/null
+++ b/tests/where.lac
@@ -0,0 +1,6 @@
+table t1 : {A : int, B : string, C : float}
+table t2 : {A : float, D : int}
+
+val q1 = (SELECT * FROM t1)
+val q2 = (SELECT * FROM t1 WHERE TRUE)
+val q3 = (SELECT * FROM t1 WHERE FALSE)