Standard ML of New Jersey

The UNSAFE_MONO_ARRAY signature

Synopsis

signature UNSAFE_MONO_ARRAY


For those of you that don't mind a little insecurity if only your array accesses don't have bounds checks, here are some unchecked operations on arrays.

These operations work on ordinary monomorphic arrays, so you can mix checked and unchecked operations on the same arrays.

In an ideal world (which we're working on, in principle) the compiler would let you use the ordinary checked operations and then optimize the checks away in a safe and efficient manner.

Interface

type array
type elem
val sub : (array * int) -> elem
val update : (array * int * elem) -> unit
val create : int -> array


Description

type array

type elem

sub (a, i)

Fetch the ith element of a. If i is negative or greater than or equal to the length of a, the results will be unpredictable and may corrupt the further execution of the ML program.

update (a, i, x)

Store x into the ith element of a. If i is negative or greater than or equal to the length of a, the results will be unpredictable and may corrupt the further execution of the ML program.

create i

Create an array of i elements, with every slot initialized to zero. If i is negative or greater than the largest array size that the system can represent the results will be unpredictable and may corrupt the further execution of the ML program.

See Also

MONO_ARRAY, UNSAFE_MONO_VECTOR, Unsafe.Array

Last Modified October 28, 1997
Comments to sml-nj@research.bell-labs.com
Copyright © 1998 Bell Labs, Lucent Technologies