[m-dev.] for review: add `promise_only_solution_io'.

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Nov 30 18:01:02 AEDT 2000


On 30-Nov-2000, Mark Anthony BROWN <dougl at cs.mu.OZ.AU> wrote:
> Fergus Henderson writes:
> > Estimated hours taken: 0.75
> > 
> > library/builtin.m:
> > 	Add `promise_only_solution_io'.
> > 	This is like `promise_only_solution' except that
> > 	it works for procedures that do I/O.
> > 
> 
> This should be mentioned in NEWS.

Done (see relative diff below).  I'll go ahead and commit
all this now.  Thanks for the review.

----------

NEWS:
	Mention `promise_only_solution_io'.

Index: ../NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.179
diff -u -d -u -r1.179 NEWS
--- ../NEWS	2000/11/12 05:51:29	1.179
+++ ../NEWS	2000/11/30 06:53:18
@@ -67,7 +67,7 @@
 Changes to the standard library:
 
 * We've added new predicates map__foldl2, tree234__foldl2 and
-  std_util__aggregate2.
+  std_util__aggregate2, and builtin__promise_only_solution_io.
 
 * We've added function versions of std_util__solutions,
   std_util__solutions_set, std_util__aggregate, map__search,

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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