[m-dev.] for review: additions to the library

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Oct 3 12:21:42 AEDT 2000


On 03-Oct-2000, David Overton <dmo at cs.mu.OZ.AU> wrote:
> +++ NEWS	2000/10/03 00:42:55
> @@ -66,6 +66,11 @@
>  
>  Changes to the standard library:
>  
> +* We've added new predicates map__foldl2, tree234__foldl2 and aggregate2.
> +
> +* We've added function versions of solutions, solutions_set,
> +  aggregate, map__search, map__insert and map__update.

For the new predicates and functions in std_util.m, the NEWS file
mention of them should use a `std_util__' prefix, so that readers
know where to look for further documentation.

Otherwise, those changes look good!

-- 
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.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list