basic inline printing of nested records

Author: zth

compiler/ml/ctype.ml

@@ -1016,6 +1016,7 @@ let new_declaration newtype manifest =
     type_attributes = [];
     type_immediate = false;
     type_unboxed = unboxed_false_default_false;
+    type_inlined_types = [];
   }
 
 let instance_constructor ?in_pattern cstr =
@@ -4185,6 +4186,7 @@ let nondep_type_decl env mid id is_covariant decl =
       type_attributes = decl.type_attributes;
       type_immediate = decl.type_immediate;
       type_unboxed = decl.type_unboxed;
+      type_inlined_types = decl.type_inlined_types;
     }
   with Not_found ->
     clear_hash ();

compiler/ml/datarepr.ml

@@ -86,6 +86,7 @@ let constructor_args priv cd_args cd_res path rep =
         type_attributes = [];
         type_immediate = false;
         type_unboxed;
+        type_inlined_types = [];
       }
     in
     (existentials, [newgenconstr path type_params], Some tdecl)

compiler/ml/predef.ml

@@ -203,6 +203,7 @@ let decl_abstr =
     type_attributes = [];
     type_immediate = false;
     type_unboxed = unboxed_false_default_false;
+    type_inlined_types = [];
   }
 
 let decl_abstr_imm = {decl_abstr with type_immediate = true}