fix no-flat-float-array tests after #10542

(issue reported by David Allsopp)
ocaml · Jul 31, 2021 · 8949e28 · 8949e28
1 parent 44e473e
commit 8949e28
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/testsuite/tests/translprim/array_spec.compilers.no-flat.reference b/testsuite/tests/translprim/array_spec.compilers.no-flat.reference
@@ -11,10 +11,10 @@
       (array.unsafe_get[addr] addr_a 0)
       (function a (array.unsafe_get[addr] a 0)) (array.set[int] int_a 0 1)
       (array.set[addr] float_a 0 1.) (array.set[addr] addr_a 0 "a")
-      (function a x (array.set[addr] a 0 x))
+      (function a x : int (array.set[addr] a 0 x))
       (array.unsafe_set[int] int_a 0 1) (array.unsafe_set[addr] float_a 0 1.)
       (array.unsafe_set[addr] addr_a 0 "a")
-      (function a x (array.unsafe_set[addr] a 0 x))
+      (function a x : int (array.unsafe_set[addr] a 0 x))
       (let
         (eta_gen_len = (function prim stub (array.length[addr] prim))
          eta_gen_safe_get =