Commit c0d4cbb2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Removed [InfiniteArray.update], which was unused.

parent 8c532da8
......@@ -42,13 +42,6 @@ let set a i x =
if a.extent <= i then
a.extent <- i + 1
let update a i f =
ensure a i;
let x = Array.unsafe_get a.table (i) in
Array.unsafe_set a.table (i) (f x);
if a.extent <= i then
a.extent <- i + 1
let extent a =
......@@ -12,9 +12,6 @@ val get: 'a t -> int -> 'a
[a] to [x]. Slots are numbered 0 and up. **)
val set: 'a t -> int -> 'a -> unit
(** [update a i f] is equivalent to [set a i (f (get a i))]. *)
val update: 'a t -> int -> ('a -> 'a) -> unit
(** [extent a] is the length of an initial segment of the array [a]
that is sufficiently large to contain all [set] operations ever
performed. In other words, all elements beyond that segment have
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment