From 640ab72bb20243ae28e7b4a0db79e25bff41b04c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 6 Mar 2018 22:28:11 -0600 Subject: [PATCH] bugfix in `CCVector.slice_seq` --- src/core/CCVector.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml index 32d4bb33..fcb86cc1 100644 --- a/src/core/CCVector.ml +++ b/src/core/CCVector.ml @@ -653,7 +653,7 @@ let to_seq_rev v k = let slice_seq v start len = assert (start >= 0 && len >= 0); fun k -> - assert (start+len < v.size); + assert (start+len <= v.size); for i = start to start+len-1 do let x = Array.unsafe_get v.vec i in k x @@ -661,6 +661,8 @@ let slice_seq v start len = (*$T slice_seq (of_list [0;1;2;3;4]) 1 3 |> CCList.of_seq = [1;2;3] + slice_seq (of_list [0;1;2;3;4]) 1 4 |> CCList.of_seq = [1;2;3;4] + slice_seq (of_list [0;1;2;3;4]) 0 5 |> CCList.of_seq = [0;1;2;3;4] *) let slice v = (v.vec, 0, v.size)