[m-dev.] for review: changes to relation.m

[Fergus Henderson]

On 12-Mar-1998, Andrew Bromage <bromage at cs.mu.OZ.AU> wrote:
> G'day.
> 
> Fergus Henderson wrote:
> 
> > Andrew, can you please review this one?
> 
> I still think the interface needs a bit of a change, but it can wait
> until the object module is done.  Until then, this change is fine.

OK, I'll commit it then.

> I assume you've done this, but I'll ask for the record: Did you test
> that the profiler works with this change?

I tested that it still compiled.  I didn't test it further, but then I
didn't really change anything that the profiler uses.  Apart from
renaming a few things, my change was just adding new stuff.

The nightly tests include a test of the profiler, so if I broke anything
it will probably show up ;-)

One thing I did forget about was updating the NEWS file.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.96
diff -u -u -r1.96 NEWS
--- NEWS	1998/03/10 05:40:10	1.96
+++ NEWS	1998/03/12 21:06:51
@@ -287,9 +287,17 @@
   See the "benchmarking" chapter of the Mercury Library Reference Manual
   for details.
 
-* Miscellaneous new predicates: bag__least_upper_bound/3,
-  bag__remove_list/3, bag__det_remove_list/3, list__take_upto/3,
-  set__count/2, set_ordlist__count/2, and store__new_cyclic_mutvar/4.
+* Miscellaneous new predicates.
+
+  The Mercury standard library now includes the following new predicates:
+  bag__least_upper_bound/3, bag__remove_list/3, bag__det_remove_list/3,
+  list__take_upto/3, set__count/2, set_ordlist__count/2,
+  store__new_cyclic_mutvar/4, relation__add_values/4,
+  relation__from_assoc_list/2, and relation__compose/3.
+
+  Also the old relation__to_assoc_list/2 predicate has been renamed as
+  relation__to_key_assoc_list/2; there is a new relation__to_assoc_list/2
+  predicate with a different type for the second argument.
 
   See the Mercury Library Reference Manual for details.
 
-- 
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.