We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6c8d684 commit fcbaaaeCopy full SHA for fcbaaae
1 file changed
src/util/Vec.ml
@@ -73,11 +73,12 @@ let[@inline] get t i =
73
Array.unsafe_get t.data i
74
75
let[@inline] set t i v =
76
- if i < 0 || i > t.sz then invalid_arg "vec.set";
77
if i = t.sz then
78
push t v
79
- else
+ else if i >= 0 && i < t.sz then
80
Array.unsafe_set t.data i v
+ else
81
+ invalid_arg "vec.set"
82
83
let[@inline] fast_remove t i =
84
assert (i >= 0 && i < t.sz);
0 commit comments