next up previous contents
Next: CM Up: MLton extensions Previous: SMLofNJ: SML_OF_NJ   Contents

Unsafe: UNSAFE

This module is a subset of the Unsafe module provided by SML/NJ. It is included in MLton because the code generated by ML-Yacc includes references to unsafe subscript operations.

signature UNSAFE =
  sig
    structure Vector: UNSAFE_VECTOR
    structure Array: UNSAFE_ARRAY

    structure CharVector: UNSAFE_MONO_VECTOR
      where type vector = CharVector.vector
      where type elem = CharVector.elem
    structure CharArray: UNSAFE_MONO_ARRAY
      where type array = CharArray.array
      where type elem = CharArray.elem

    structure Word8Vector: UNSAFE_MONO_VECTOR
      where type vector = Word8Vector.vector
      where type elem = Word8Vector.elem
    structure Word8Array: UNSAFE_MONO_ARRAY
      where type array = Word8Array.array
      where type elem = Word8Array.elem
    structure Real64Array: UNSAFE_MONO_ARRAY
      where type array = Real64Array.array
      where type elem = Real64Array.elem
  end