Print .cmi flags in objinfo

Gbp-Pq: Name Print-.cmi-flags-in-objinfo.patch

diff --git a/tools/objinfo.ml b/tools/objinfo.ml
index 83e36593141b4bc65f244e55c4b42356cc9c64fb..f16194ac82b4b028a6e476eb31cdf36c08ae43a6 100644 (file)
--- a/tools/objinfo.ml
+++ b/tools/objinfo.ml
@@ -85,9 +85,21 @@ let print_cma_infos (lib : Cmo_format.library) =
   printf "\n";
   List.iter print_cmo_infos lib.lib_units
 
-let print_cmi_infos name crcs =
+let print_cmi_infos name crcs flags =
+  let open Cmi_format in
   if not !quiet then begin
     printf "Unit name: %s\n" name;
+    printf "Flags: [ ";
+    begin
+      flags
+      |> List.map (function
+             | Rectypes -> "Rectypes"
+             | Opaque -> "Opaque"
+             | Alerts _ -> "Alerts _")
+      |> String.concat "; "
+      |> printf "%s"
+    end;
+    printf " ]\n";
     printf "Interfaces imported:\n";
     List.iter print_name_crc crcs
   end
@@ -370,6 +382,7 @@ let dump_obj_by_kind filename ic obj_kind =
          | None -> ()
          | Some cmi ->
             print_cmi_infos cmi.Cmi_format.cmi_name cmi.Cmi_format.cmi_crcs
+              cmi.Cmi_format.cmi_flags
        end;
        begin match cmt with
          | None -> ()