bugfix in CCArray.equal

This commit is contained in:
Simon Cruanes 2016-10-14 11:28:44 +02:00
parent 59a463a882
commit 81ca239ccc

View file

@ -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)