summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 14:27:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 14:27:01 -0400
commitd43dc372d0dbc90031696d8503c05654e6605f84 (patch)
treef618f19e33e6620c75232ab227f786859d261f15 /tests
parent769dd2e60357a97baee02b9595340a3c0ee79fb8 (diff)
Monoized a WHERE clause with a comparison
Diffstat (limited to 'tests')
-rw-r--r--tests/query.ur8
1 files changed, 5 insertions, 3 deletions
diff --git a/tests/query.ur b/tests/query.ur
index 91c0cee3..afe5fab8 100644
--- a/tests/query.ur
+++ b/tests/query.ur
@@ -1,10 +1,12 @@
-table t1 : {A : int, B : string, C : float}
+table t1 : {A : int, B : string, C : float, D : bool}
table t2 : {A : float, D : int}
datatype list a = Nil | Cons of a * list a
-val q1 = (SELECT * FROM t1)
-val r1 : transaction (list {A : int, B : string, C : float}) =
+(*val q1 = (SELECT * FROM t1)*)
+val q1 = (SELECT * FROM t1 WHERE t1.A = 0)
+
+val r1 : transaction (list {A : int, B : string, C : float, D : bool}) =
query q1
(fn fs acc => return (Cons (fs.T1, acc)))
Nil