add a test for unboxed interaction wtih recursive types

Author: bobzhang

jscomp/test/rec_value_test.js

@@ -576,6 +576,13 @@ var fake_inline = fake_inline_minus;
 
 var fake_inline_inlie2 = fake_inline_minus(3);
 
+var u = [];
+
+Caml_obj.update_dummy(u, [
+      1,
+      u
+    ]);
+
 Mt.from_pair_suites("Rec_value_test", suites);
 
 var v$1 = 3;
@@ -616,4 +623,5 @@ exports.fake_minus = fake_minus;
 exports.fake_inline = fake_inline;
 exports.fake_inline_minus = fake_inline_minus;
 exports.fake_inline_inlie2 = fake_inline_inlie2;
+exports.u = u;
 /* fake_z2 Not a pure module */

jscomp/test/rec_value_test.ml

@@ -184,6 +184,16 @@ and fake_inline_minus n =
 
 
 let fake_inline_inlie2 = fake_inline_minus 3 
+
+
+type t = { x : int * t } [@@unboxed]
+
+let rec u = {x = (1,u)}
+
+let () = 
+  let (!) u = snd (u.x) in 
+   assert  (fst (! (! (! (!u)))).x   = 1 )
+
  ;; Mt.from_pair_suites __MODULE__ suites