Pasted from source code:

utop # Vector.slice_seq (Vector.of_list [0;1;2;3;4]) 1 3 |> CCList.of_seq;;
- : int list = [1; 2; 3]
─( 14:27:21 )─< command 41 >─────────────────────────────────────{ counter: 0 }─

Same thing with length 5:

utop # Vector.slice_seq (Vector.of_list [0;1;2;3;4]) 1 5 |> CCList.of_seq;;
Exception: Assert_failure ("src/core/CCVector.ml", 656, 4).

Source:

let slice_seq v start len =
  assert (start >= 0 && len >= 0);
  fun k ->
    assert (start+len < v.size);                 should be <= v.size ???
    for i = start to start+len-1 do
      let x = Array.unsafe_get v.vec i in
      k x
    done

with length 5 the slice is not a proper slice; but as with strings, a string is a (not proper) sub_string of itself; so a slice of the whole vector would also be expected to be a slice?

Peter


_______________________________________________
Containers-users mailing list
Containers-users@lists.ocaml.org
http://lists.ocaml.org/listinfo/containers-users

Reply via email to