[m-dev.] For review: two new functions in int.m

[Peter Moulder]

On Tue, Jan 27, 2004 at 11:55:48AM +1100, Ralph Becket wrote:
> +int__fold_up(F, A, Lo, Hi) =
> +	( if Lo =< Hi then int__fold_up(F, F(Lo, A), Lo + 1, Hi) else A ).

You should document or fix the bug if Hi = int.max_int.
Similarly for fold_down if Lo = int.min_int.

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