Legend:
Library
Module
Module type
Parameter
Class
Class type
An array of Caml.Obj.ts.
This is useful because in general it is unsafe to put Caml.Obj.ts into a normal array due to the float array optimisation. It is implemented by using normal arrays in a way that prevents the float array optimisation from applying.
Avoiding the float array optimisation also allows faster implementations of the get and set functions that know that they aren't dealing with float arrays and save a test for it. We also have set avoid the write barrier (caml_modify) in certain situations.
Core_kernel.Uniform_array provides the same advantages for types other than Caml.Obj.t.
Just like with a regular Array, the elements are boxed so they don't get copied by sub, get, set, blit, etc.
The dynamic check this array module implements is something we hope to have implemented at a lower level (as part of the native compiler's code generation). Given that, the interface is somewhat spartan and intended for use within internal data structures.
get t i and unsafe_get t i return the object at index i. set t i o and unsafe_set t i o set index i to o. In no case is the object copied. The unsafe_* variants omit the bounds check of i.
val unsafe_set_assuming_currently_int : t->int ->Caml.Obj.t-> unit
unsafe_set_assuming_currently_int t i obj sets index i of t to obj, but only works correctly if Caml.Obj.is_int (get t i). This precondition saves a dynamic check.
unsafe_set_int_assuming_currently_int is similar, except the value being set is an int.
unsafe_set_int is similar but does not assume anything about the target.
val unsafe_set_int_assuming_currently_int : t->int ->int -> unit
val unsafe_set_omit_phys_equal_check : t->int ->Caml.Obj.t-> unit
unsafe_set_omit_phys_equal_check is like unsafe_set, except it doesn't do a phys_equal check to try to skip caml_modify. It is safe to call this even if the values are phys_equal.
unsafe_clear_if_pointer t i prevents t.(i) from pointing to anything to prevent space leaks. It does this by setting t.(i) to Caml.Obj.repr 0. As a performance hack, it only does this when not (Caml.Obj.is_int t.(i)).