simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Assert for growing vectors

Browse source
This commit is contained in:
Guillaume Bury 2015-03-16 16:16:44 +01:00
parent a2e2e15137
commit e748333693
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
util/vec.ml
View file

@ -58,6 +58,7 @@ let grow_to_double_size t =
grow_to t size grow_to t size
let grow_to_by_double t new_capa = let grow_to_by_double t new_capa =
assert (new_capa >= 0);
if new_capa > Sys.max_array_length then _size_too_big (); if new_capa > Sys.max_array_length then _size_too_big ();
let data = t.data in let data = t.data in
let capa = ref (Array.length data + 1) in let capa = ref (Array.length data + 1) in
@ -66,7 +67,6 @@ let grow_to_by_double t new_capa =
done; done;
grow_to t !capa grow_to t !capa
let is_full t = Array.length t.data = t.sz let is_full t = Array.length t.data = t.sz
let push t e = let push t e =