[m-dev.] For review: Add some parametric insts to std_util

[Warwick Harvey]

> On 24-Feb-2000, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> > library/std_util.m:
> >         Added parametric instantiations corresponding to the parametric
> >         types `maybe/1', `maybe_error/1', `pair/2' and `pair/1'.
> 
> That looks fine to me.
> 
> But since it is a change to the standard library interface,
> I suppose you ought to mention it in the NEWS file.

How 'bout this?

diff -u -r1.163 NEWS
--- NEWS        2000/02/16 08:36:03     1.163
+++ NEWS        2000/02/24 04:24:46
@@ -34,6 +34,11 @@
 * There's a new predicate `random__permutation', for
   computing a random permutation of a list.
 
+* Four new parametric instantiations `maybe/1', `maybe_error/1',
+  `pair/2' and `pair/1' have been added to the `std_util' library
+  module.  These make it more convenient to work with non-ground
+  terms of the corresponding type.
+
 
 NEWS for Mercury release 0.9.1:
 -------------------------------

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