add more examples

Author: Hongbo Zhang

jscomp/test/.depend

@@ -333,6 +333,8 @@ mt.cmj : ../stdlib/list.cmi mt.cmi
 mt.cmx : ../stdlib/list.cmx mt.cmi
 mt_global.cmj : mt.cmi mt_global.cmi
 mt_global.cmx : mt.cmx mt_global.cmi
+nested_obj_literal.cmj :
+nested_obj_literal.cmx :
 nested_obj_test.cmj :
 nested_obj_test.cmx :
 number_lexer.cmj : ../stdlib/sys.cmi ../stdlib/lexing.cmi
@@ -989,6 +991,8 @@ mt.cmo : ../stdlib/list.cmi mt.cmi
 mt.cmj : ../stdlib/list.cmj mt.cmi
 mt_global.cmo : mt.cmi mt_global.cmi
 mt_global.cmj : mt.cmj mt_global.cmi
+nested_obj_literal.cmo :
+nested_obj_literal.cmj :
 nested_obj_test.cmo :
 nested_obj_test.cmj :
 number_lexer.cmo : ../stdlib/sys.cmi ../stdlib/lexing.cmi

jscomp/test/nested_obj_literal.ml

@@ -0,0 +1,13 @@
+
+
+let structural_obj = { x = { y = { z = 3 }}} [@bs.obj]
+(* compiler inferred type :
+  val structural_obj : < x : < y : < z : int >  >  > [@bs.obj] *)
+
+type 'a x = {x : 'a }
+type 'a y = {y : 'a}
+type 'a z = { z : 'a}  
+let f_record   =  { x = { y = { z = 3 }}} 
+(* compiler inferred type :
+   val f_record : int z y x *)
+

jscomp/test/test.mllib

@@ -312,4 +312,5 @@ attr_test
 
 uncurry_glob_test
 
-nested_obj_test
+nested_obj_test
+nested_obj_literal

lib/js/test/nested_obj_literal.js

@@ -0,0 +1,17 @@
+// GENERATED CODE BY BUCKLESCRIPT VERSION 0.5.0 , PLEASE EDIT WITH CARE
+'use strict';
+
+
+var structural_obj = {
+  "x": {
+    "y": {
+      "z": 3
+    }
+  }
+};
+
+var f_record = /* record */[/* x : record */[/* y : record */[/* z */3]]];
+
+exports.structural_obj = structural_obj;
+exports.f_record       = f_record;
+/* structural_obj Not a pure module */