Store declaration dependencies in CMS files

Author: voodoos

file_formats/cms_format.ml

@@ -17,6 +17,8 @@
 
 (** cms and cmsi files format. *)
 
+module Uid = Shape.Uid
+
 let read_magic_number ic =
   let len_magic_number = String.length Config.cms_magic_number in
   really_input_string ic len_magic_number
@@ -32,7 +34,9 @@ type cms_infos = {
   cms_uid_to_attributes : Parsetree.attributes Shape.Uid.Tbl.t;
   cms_impl_shape : Shape.t option; (* None for mli *)
   cms_ident_occurrences :
-    (Longident.t Location.loc * Shape_reduce.result) array
+    (Longident.t Location.loc * Shape_reduce.result) array;
+  cms_declaration_dependencies :
+    (Cmt_format.dependency_kind * Uid.t * Uid.t) list;
 }
 
 type error =
@@ -114,6 +118,9 @@ let save_cms target modname binary_annots initial_env shape =
         let cms_uid_to_loc, cms_uid_to_attributes =
           uid_tables_of_binary_annots binary_annots
         in
+        let cms_declaration_dependencies =
+          Cmt_format.get_declaration_dependencies ()
+        in
         let cms =
           {
             cms_modname = modname;
@@ -125,7 +132,8 @@ let save_cms target modname binary_annots initial_env shape =
             cms_uid_to_loc;
             cms_uid_to_attributes;
             cms_impl_shape = shape;
-            cms_ident_occurrences
+            cms_ident_occurrences;
+            cms_declaration_dependencies;
           }
         in
         output_cms oc cms)

file_formats/cms_format.mli

@@ -17,6 +17,8 @@
 
 (** cms and cmsi files format. *)
 
+module Uid = Shape.Uid
+
 type cms_infos = {
   cms_modname : Compilation_unit.t;
   cms_comments : (string * Location.t) list;
@@ -28,7 +30,9 @@ type cms_infos = {
   cms_uid_to_attributes : Parsetree.attributes Shape.Uid.Tbl.t;
   cms_impl_shape : Shape.t option; (* None for mli *)
   cms_ident_occurrences :
-    (Longident.t Location.loc * Shape_reduce.result) array
+    (Longident.t Location.loc * Shape_reduce.result) array;
+  cms_declaration_dependencies :
+    (Cmt_format.dependency_kind * Uid.t * Uid.t) list;
 }
 
 type error =

file_formats/cmt_format.ml

@@ -518,3 +518,5 @@ let save_cmt target cu binary_annots initial_env cmi shape =
          output_cmt oc cmt)
   end;
   clear ()
+
+let get_declaration_dependencies () = !uids_deps

file_formats/cmt_format.mli

@@ -133,3 +133,6 @@ val need_to_clear_env : bool
   val read_signature : 'a -> string -> Types.signature * 'b list * 'c list
 
 *)
+
+val get_declaration_dependencies :
+  unit -> (dependency_kind * Uid.t * Uid.t) list