From f2890c56a6de9b9de3cd4a8725ab6be32c1ecf0c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 8 Jan 2015 15:36:50 +0100 Subject: [PATCH] test ccvector.iteri --- src/core/CCVector.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml index f6cc9234..e8f0d741 100644 --- a/src/core/CCVector.ml +++ b/src/core/CCVector.ml @@ -296,6 +296,11 @@ let iteri k v = k i (Array.unsafe_get v.vec i) done +(*$T + let v = (0--6) in \ + iteri (fun i x -> if i = 3 then remove v i) v; length v = 6 + *) + let map f v = if _empty_array v then create ()