diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 14:33:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 14:33:22 -0400 |
| commit | b145f505390243386da2992877a276edc8ab0256 (patch) | |
| tree | 9ab9f9542690843728071520a851af4fe5d581c6 /tests | |
| parent | d43dc372d0dbc90031696d8503c05654e6605f84 (diff) | |
Monoized binary operators
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/query.ur | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tests/query.ur b/tests/query.ur index afe5fab8..334c3d41 100644 --- a/tests/query.ur +++ b/tests/query.ur @@ -3,8 +3,7 @@ table t2 : {A : float, D : int} datatype list a = Nil | Cons of a * list a -(*val q1 = (SELECT * FROM t1)*) -val q1 = (SELECT * FROM t1 WHERE t1.A = 0) +val q1 = (SELECT * FROM t1) val r1 : transaction (list {A : int, B : string, C : float, D : bool}) = query q1 |