trivial diff: fix tests/hard_coded/agg.m

[Fergus Henderson]

I made the mistake of committed my change to the quantification rules without 
realizing that I hadn't yet tested it.  Indeed, I hadn't even compiled it,
and there were a few minor syntax errors in the code, which I fixed yesterday
(they were of the utterly trivial variety, like missing commas, so I won't
post a diff).  In addition, it broke one of the test cases -- see
the fix below.

--------------------

Estimated hours taken: 0.25

tests/hard_coded/agg.m:
	Change the code to reflect the new rules for quantification of
	lambda expressions.

Index: tests/hard_coded/agg.m
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/agg.m,v
retrieving revision 1.1
diff -u -r1.1 agg.m
--- agg.m	1997/05/27 06:20:55	1.1
+++ agg.m	1999/03/14 03:58:24
@@ -64,7 +64,7 @@
 :- import_module list.
 
 aggregate(P, agg(S0, F), S) :-
-	A = (pred(Val::in, Acc::in, F(Acc, Val)::out) is det),
+	A = (pred(Val::in, Acc0::in, Acc::out) is det :- Acc = F(Acc0, Val)),
 	solutions(P, L), list__foldl(A, L, S0, S).
 
 agg_pair(agg(S1, F1), agg(S2, F2)) = agg(S1-S2, F) :-

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.