diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 10:36:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 10:36:54 -0400 |
| commit | 4688519e58b0b2923e291d6a719a7f34810bfdc1 (patch) | |
| tree | b2857ef60e3307635c96f8300b5f515834e32cfc /tests/query.ur | |
| parent | 9e13248824201d825b9d06b266d045db63f3340d (diff) | |
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
Diffstat (limited to 'tests/query.ur')
| -rw-r--r-- | tests/query.ur | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/query.ur b/tests/query.ur index 1039e40a..91c0cee3 100644 --- a/tests/query.ur +++ b/tests/query.ur @@ -6,7 +6,7 @@ datatype list a = Nil | Cons of a * list a val q1 = (SELECT * FROM t1) val r1 : transaction (list {A : int, B : string, C : float}) = query q1 - (fn fs _ acc => return (Cons (fs.T1, acc))) + (fn fs acc => return (Cons (fs.T1, acc))) Nil val r2 : transaction string = |