diff --git a/src/core/CCArray.ml b/src/core/CCArray.ml index 6ee5e850..9b179414 100644 --- a/src/core/CCArray.ml +++ b/src/core/CCArray.ml @@ -165,7 +165,7 @@ let rec _equal eq a1 i1 j1 a2 i2 j2 = if i1 = j1 then (assert (i1=j1 && i2=j2); true) else - eq a1.(i1) a2.(i2) && _equal eq a1 (i1+1) j1 a2 (i2+2) j2 + eq a1.(i1) a2.(i2) && _equal eq a1 (i1+1) j1 a2 (i2+1) j2 let rec _compare cmp a1 i1 j1 a2 i2 j2 = if i1 = j1 @@ -553,6 +553,10 @@ let equal eq a b = equal (=) a b = equal (=) b a) *) +(*$T + equal (=) [|1|] [|1|] +*) + let compare cmp a b = _compare cmp a 0 (Array.length a) b 0 (Array.length b)