From ddb4c1fe285a26cc46c59e6269ecac1f26c687a6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 Aug 2008 16:26:50 -0400
Subject: Monoize aggregates

---
 tests/agg.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/agg.ur')

diff --git a/tests/agg.ur b/tests/agg.ur
index dc7c0341..7e091060 100644
--- a/tests/agg.ur
+++ b/tests/agg.ur
@@ -12,8 +12,8 @@ val q5 = (SELECT SUM(t1.A) AS X FROM t1 GROUP BY t1.B)
 
 datatype list a = Nil | Cons of a * list a
 
-val r1 : transaction (list int) =
-        query q1
+val r1 : transaction (list string) =
+        query q4
         (fn fs acc => return (Cons (fs.X, acc)))
         Nil
 
-- 
cgit v1.2.3