simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-07 11:45:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

More tests for CCVector.append and CCVector.append_array

Browse source
This commit is contained in:
Fabian 2017-09-16 21:25:55 +02:00
parent c792d70ac7
commit f1942fd0d4
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/core/CCVector.ml
View file

@ -165,6 +165,14 @@ let append a b =
(*$T (*$T
let v1 = init 5 (fun i->i) and v2 = init 5 (fun i->i+5) in \ let v1 = init 5 (fun i->i) and v2 = init 5 (fun i->i+5) in \
append v1 v2; to_list v1 = CCList.(0--9) append v1 v2; to_list v1 = CCList.(0--9)
let empty = create () and v2 = init 5 (fun i->i) in \
append empty v2; to_list empty = CCList.(0--4)
let v1 = init 5 (fun i->i) and empty = create () in \
append v1 empty; to_list v1 = CCList.(0--4)
let v = init 3 (fun i->i) in \
append v v; to_list v = [0; 1; 2; 0; 1; 2]
let empty = create () in \
append empty empty; to_list empty = []
*) *)
(*$R (*$R
@ -204,6 +212,12 @@ let append_array a b =
(*$T (*$T
let v1 = init 5 (fun i->i) and v2 = Array.init 5 (fun i->i+5) in \ let v1 = init 5 (fun i->i) and v2 = Array.init 5 (fun i->i+5) in \
append_array v1 v2; to_list v1 = CCList.(0--9) append_array v1 v2; to_list v1 = CCList.(0--9)
let empty = create () in \
append_array empty CCArray.(0--5); to_list empty = CCList.(0--5)
let v1 = init 5 (fun i->i) in \
append_array v1 [| |]; to_list v1 = CCList.(0--4)
let empty = create () in \
append_array empty [| |]; to_list empty = []
*) *)
let append_list a b = match b with let append_list a b = match b with