[m-dev.] For review: new extras package - curses binding

[David Glen JEFFERY]

On 14-Jan-2000, David Overton <dmo at ender.cs.mu.oz.au> wrote:
> > +
> > +for(Min, Max, Pred, Acc0, Acc) :-
> > +	( Min =< Max ->
> > +		Pred(Min, Acc0, Acc1),
> > +		for(Min+1, Max, Pred, Acc1, Acc)
> > +	;
> > +		Acc = Acc0
> > +	).
> 
> I reckon this predicate is probably useful enough to go in the
> standard library (maybe in std_util.m).  What do others think?

Indeed. I think std_util is a good place, alongside do_while/4.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------