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

Use ensure_not_empty_ when vector is known to be non-empty

Browse source
This commit is contained in:
Fabian 2017-09-16 21:31:56 +02:00
parent 9219d24356
commit 03f6a1fe5e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/core/CCVector.ml
View file

@ -156,7 +156,7 @@ let append a b =
a.size <- b.size a.size <- b.size
) )
else ( else (
ensure a (a.size + b.size); ensure_not_empty_ a (a.size + b.size);
assert (Array.length a.vec >= a.size + b.size); assert (Array.length a.vec >= a.size + b.size);
Array.blit b.vec 0 a.vec a.size b.size; Array.blit b.vec 0 a.vec a.size b.size;
a.size <- a.size + b.size a.size <- a.size + b.size
@ -210,7 +210,7 @@ let append_array a b =
a.size <- len_b; a.size <- len_b;
) )
else ( else (
ensure a (a.size + len_b); ensure_not_empty_ a (a.size + len_b);
Array.blit b 0 a.vec a.size len_b; Array.blit b 0 a.vec a.size len_b;
a.size <- a.size + len_b a.size <- a.size + len_b
) )