diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:13:07 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:13:07 -0400 |
commit | 9a3af2ced0937e9578595053f730cb1b11cca6e5 (patch) | |
tree | e298baa9166fa65a1d54273285cf25eea757d573 /tests/where.ur | |
parent | b027a79d3f701b4d2d4d1849449e4e6d8b973fcd (diff) |
Monoize unops
Diffstat (limited to 'tests/where.ur')
-rw-r--r-- | tests/where.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/where.ur b/tests/where.ur index 8b4d89c5..aa6c519b 100644 --- a/tests/where.ur +++ b/tests/where.ur @@ -13,7 +13,7 @@ val q8 = (SELECT * FROM t1 WHERE t1.A = 1 OR t1.C < 3.0) datatype list a = Nil | Cons of a * list a val r1 : transaction (list {A : int, B : string, C : float}) = - query q8 + query q7 (fn fs acc => return (Cons (fs.T1, acc))) Nil |