mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-08 04:05:30 -05:00
Merge pull request #69 from copy/patch-1
Improve `CCVector.equal`, add tests (thanks to @copy)
This commit is contained in:
commit
18aed84903
1 changed files with 13 additions and 3 deletions
|
|
@ -243,12 +243,22 @@ let append_list a b = match b with
|
||||||
*)
|
*)
|
||||||
|
|
||||||
let equal eq v1 v2 =
|
let equal eq v1 v2 =
|
||||||
let n = min v1.size v2.size in
|
v1.size == v2.size
|
||||||
|
&&
|
||||||
|
let n = v1.size in
|
||||||
let rec check i =
|
let rec check i =
|
||||||
if i = n
|
if i = n
|
||||||
then v1.size = v2.size
|
then true
|
||||||
else eq (get v1 i) (get v2 i) && check (i+1)
|
else eq (get v1 i) (get v2 i) && check (i+1)
|
||||||
in check 0
|
in
|
||||||
|
check 0
|
||||||
|
|
||||||
|
(*$T
|
||||||
|
equal (=) (create ()) (create ())
|
||||||
|
equal (=) (return 42) (return 42)
|
||||||
|
not (equal (=) (create ()) (return 42))
|
||||||
|
not (equal (=) (return 42) (create ()))
|
||||||
|
*)
|
||||||
|
|
||||||
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
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue