simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-08 12:15:32 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

update implem of CCVector.equal; add a random test

Browse source
This commit is contained in:
Simon Cruanes 2016-06-14 14:07:30 +02:00
parent cfad88e906
commit 6639cb8e77
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/core/CCVector.ml
View file

@ -247,9 +247,7 @@ let equal eq v1 v2 =
&& &&
let n = v1.size in let n = v1.size in
let rec check i = let rec check i =
if i = n i = n || (eq (get v1 i) (get v2 i) && check (i+1))
then true
else eq (get v1 i) (get v2 i) && check (i+1)
in in
check 0 check 0
@ -260,6 +258,11 @@ let equal eq v1 v2 =
not (equal (=) (return 42) (create ())) not (equal (=) (return 42) (create ()))
*) *)
(*$Q
Q.(let g = list_of_size Gen.(0--10) small_int in pair g g) (fun (l1,l2) -> \
equal (=) (of_list l1) (of_list l2) = (l1=l2))
*)
let compare cmp v1 v2 = let compare cmp v1 v2 =
let n = min v1.size v2.size in let n = min v1.size v2.size in
let rec check i = let rec check i =