Skip to content

Commit 08ff3b4

Browse files
committed
Avoid polymorphic equality
1 parent fbfb5e7 commit 08ff3b4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/floatarray/stm_tests.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -125,7 +125,7 @@ struct
125125
if i < 0 || l < 0 || i+l > List.length s
126126
then r = Error (Invalid_argument "Float.Array.fill")
127127
else r = Ok ()
128-
| To_list, Res ((List Float,_),fs) -> fs = s
128+
| To_list, Res ((List Float,_),fs) -> List.equal Float.equal fs s
129129
| Mem f, Res ((Bool,_),r) -> r = List.mem f s
130130
| Sort, Res ((Unit,_),r) -> r = ()
131131
| To_seq, Res ((Seq Float,_),r) -> Seq.equal (=) r (List.to_seq s)

0 commit comments

Comments
 (0)