[m-rev.] for review: array.m changes

[Julien Fischer]

On Tue, 18 Sep 2007, Peter Wang wrote:

> Branches: main
>
> library/array.m:
> 	Make array.unsafe_lookup and array.unsafe_set part of the public
> 	interface so that the user can selectivity omit bounds checks.

s/selectivity/selectively/

>
> 	Make array.from_list use array.unsafe_set to avoid redundant bounds
> 	checks.

That's fine otherwise.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------