CCVector: fix two labels-omitted warnings

These warnings are silenced by the use of -nolabels in the compilation
flags (which I understand is designed to make the life of the
CC*Labels file easier, not let minor labeling mistakes sleep in.)
This commit is contained in:
Gabriel Scherer 2024-01-04 21:39:09 +01:00 committed by Simon Cruanes
parent 60bb2c8c68
commit 9de8f1fb2e

View file

@ -131,7 +131,7 @@ let resize_with v f size =
v.vec <- new_vec; v.vec <- new_vec;
v.size <- size v.size <- size
) else ( ) else (
ensure_assuming_not_empty_ v size; ensure_assuming_not_empty_ v ~size;
let { size = cur_size; vec } = v in let { size = cur_size; vec } = v in
for i = cur_size to size - 1 do for i = cur_size to size - 1 do
Array.unsafe_set vec i (f i) Array.unsafe_set vec i (f i)
@ -147,7 +147,7 @@ let resize_with_init v ~init size =
v.vec <- vec; v.vec <- vec;
v.size <- size v.size <- size
) else ( ) else (
ensure_assuming_not_empty_ v size; ensure_assuming_not_empty_ v ~size;
(* nothing will change [v] *) (* nothing will change [v] *)
for i = v.size to size - 1 do for i = v.size to size - 1 do
Array.unsafe_set v.vec i init Array.unsafe_set v.vec i init