[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