From 3a21aab9c8d32524d5f0a89bb65adef89e3917e4 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 21 Oct 2015 14:44:36 +0200
Subject: [PATCH] add `CCVector.append_list`

---
 src/core/CCVector.ml  | 19 +++++++++++++++++++
 src/core/CCVector.mli |  4 ++++
 2 files changed, 23 insertions(+)

diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml
index 3fc6eacf..5180758e 100644
--- a/src/core/CCVector.ml
+++ b/src/core/CCVector.ml
@@ -222,6 +222,25 @@ let append_array a b =
   append_array v1 v2; to_list v1 = CCList.(0--9)
 *)
 
+let append_list a b = match b with
+  | [] -> ()
+  | x :: _ ->
+      (* need to push at least one elem *)
+      let len_a = a.size in
+      let len_b = List.length b in
+      ensure_with ~init:x a (len_a + len_b);
+      List.iter (push_unsafe_ a) b;
+      ()
+
+(*$Q
+  Q.(pair (list int)(list int)) (fun (l1,l2) -> \
+    let v = of_list l1 in append_list v l2; \
+    to_list v = (l1 @ l2))
+  Q.(pair (list int)(list int)) (fun (l1,l2) -> \
+    let v = of_list l1 in append_list v l2; \
+    length v = List.length l1 + List.length l2)
+*)
+
 (*$inject
   let gen x =
     let small = length in
diff --git a/src/core/CCVector.mli b/src/core/CCVector.mli
index cee9ad08..17d21bfd 100644
--- a/src/core/CCVector.mli
+++ b/src/core/CCVector.mli
@@ -98,6 +98,10 @@ val append_array : ('a, rw) t -> 'a array -> unit
 val append_seq : ('a, rw) t -> 'a sequence -> unit
 (** Append content of sequence *)
 
+val append_list : ('a, rw) t -> 'a list -> unit
+(** Append content of list
+    @since NEXT_RELEASE *)
+
 val equal : 'a equal -> ('a,_) t equal
 
 val compare : 'a ord -> ('a,_) t ord