simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 02:16:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Revert "change strategy for vec reallocation"

Browse source 
This reverts commit 7407669834.
This commit is contained in:
Simon Cruanes 2016-11-24 17:38:09 +01:00
parent 20b4692e18
commit 15efe4aceb
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/vec.ml
View file

@ -69,15 +69,13 @@ let grow_to_double_size t =
let size = min Sys.max_array_length (2* Array.length t.data + 1) in
grow_to_exact t size
(* grow to at least [new_capa] by increments of
approximately [new_size = old_size * 1.5] *)
let grow_to_at_least t new_capa =
assert (new_capa >= 0);
if new_capa > Sys.max_array_length then _size_too_big ();
let data = t.data in
let capa = ref (Array.length data + 1) in
while !capa < new_capa do
capa := min (!capa + (!capa lsr 1) + 2) Sys.max_array_length;
capa := min (2 * !capa + 1) Sys.max_array_length;
done;
grow_to_exact t !capa