[m-dev.] trivial diff: improve aggregate documentation

[Simon Taylor]

Estimated hours taken: 0.1

extras/aditi/aditi.m:
	Document that the input to an aggregate is sorted
	and has duplicates removed.

Index: aditi.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/aditi/aditi.m,v
retrieving revision 1.2
diff -u -u -r1.2 aditi.m
--- aditi.m	1999/04/30 04:25:07	1.2
+++ aditi.m	1999/08/02 05:53:35
@@ -89,10 +89,11 @@
 	%
 	% When called, the query Closure returns the relation to be 
 	% aggregated over. This relation must have two attributes,
-	% the first being the attribute to group by. The closure 
-	% ComputeInitial computes an initial accumulator for each 
-	% group given the first tuple in the group. The closure
-	% UpdateAcc is called for each tuple in each group to 
+	% the first being the attribute to group by. The relation is
+	% sorted and duplicates are removed before the aggregate is applied.
+	% The closure ComputeInitial computes an initial accumulator
+	% for each group given the first tuple in the group.
+	% The closure UpdateAcc is called for each tuple in each group to 
 	% update the accumulator. The outputs are the group-by element
 	% and final accumulator for each group.
 	%
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------