From ef9109709b7870bed64b72bcc300fa27cb8b5142 Mon Sep 17 00:00:00 2001
From: Pierre Chambart <pierre.chambart@ocamlpro.com>
Date: Thu, 7 Jul 2016 16:14:09 +0200
Subject: [PATCH] Test the propagation of updated record type information

---
 .../float-unboxing/float_subst_boxed_number.ml     | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/testsuite/tests/float-unboxing/float_subst_boxed_number.ml b/testsuite/tests/float-unboxing/float_subst_boxed_number.ml
index e13dc983c..1f425f083 100644
--- a/testsuite/tests/float-unboxing/float_subst_boxed_number.ml
+++ b/testsuite/tests/float-unboxing/float_subst_boxed_number.ml
@@ -92,15 +92,15 @@ type block =
   { mutable float : float;
     mutable int32 : int32 }
 
-let make_some_block float int32 =
-  { float; int32 }
+let make_some_block record =
+  { record with int32 = record.int32 }
 
-let unbox_record_1 float int32 =
+let unbox_record_1 record =
   (* There is some let lifting problem to handle that case with one
      round, this currently requires 2 rounds to be correctly
      recognized as a mutable variable pattern *)
-  (* let block = (make_some_block [@inlined]) float int32 in *)
-  let block = { float; int32 } in
+  (* let block = (make_some_block [@inlined]) record in *)
+  let block = { record with int32 = record.int32 } in
   for i = 1 to 1000 do
     let y_float =
       if i mod 2 = 0 then nan else Pervasives.float i
@@ -116,8 +116,10 @@ let unbox_record_1 float int32 =
   [@@inline never]
   (* Prevent inlining to test that the type is effectively used *)
 
+let float_int32_record = { float = 3.14; int32 = 12l }
+
 let unbox_record () =
-  unbox_record_1 3.14 12l
+  unbox_record_1 float_int32_record
 
 let r = ref 0.