Add warning headers to flambda files

13 files changed, 26 insertions, 0 deletions

diff --git a/asmcomp/build_export_info.ml b/asmcomp/build_export_info.ml
index cf4bed4bdc..d235ed4d10 100644
--- a/asmcomp/build_export_info.ml
+++ b/asmcomp/build_export_info.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 module Env : sig
   type t
 
diff --git a/asmcomp/build_export_info.mli b/asmcomp/build_export_info.mli
index c98df74d42..a0f8b571ca 100644
--- a/asmcomp/build_export_info.mli
+++ b/asmcomp/build_export_info.mli
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 (** Construct export information, for emission into .cmx files, from an
     Flambda program. *)
 
diff --git a/asmcomp/closure_offsets.ml b/asmcomp/closure_offsets.ml
index 4a1d3e278b..57a5428ba2 100644
--- a/asmcomp/closure_offsets.ml
+++ b/asmcomp/closure_offsets.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 type result = {
   function_offsets : int Closure_id.Map.t;
   free_variable_offsets : int Var_within_closure.Map.t;
diff --git a/asmcomp/closure_offsets.mli b/asmcomp/closure_offsets.mli
index dbebffce79..1612953a51 100644
--- a/asmcomp/closure_offsets.mli
+++ b/asmcomp/closure_offsets.mli
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 (** Assign numerical offsets, within closure blocks, for code pointers and
     environment entries. *)
 
diff --git a/asmcomp/export_info.ml b/asmcomp/export_info.ml
index 2f629b2a7c..f7df1daafd 100644
--- a/asmcomp/export_info.ml
+++ b/asmcomp/export_info.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 type value_string_contents =
   | Contents of string
   | Unknown_or_mutable
diff --git a/asmcomp/export_info.mli b/asmcomp/export_info.mli
index 5568be61da..891a3cfbe5 100644
--- a/asmcomp/export_info.mli
+++ b/asmcomp/export_info.mli
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 (** Exported information (that is to say, information written into a .cmx
     file) about a compilation unit. *)
 
diff --git a/asmcomp/export_info_for_pack.ml b/asmcomp/export_info_for_pack.ml
index 9d6dfe1392..d51bd3ae57 100644
--- a/asmcomp/export_info_for_pack.ml
+++ b/asmcomp/export_info_for_pack.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 let rename_id_state = Export_id.Tbl.create 100
 
 (* Rename export identifiers' compilation units to denote that they now
diff --git a/asmcomp/export_info_for_pack.mli b/asmcomp/export_info_for_pack.mli
index 8ffe3098bc..811a741d31 100644
--- a/asmcomp/export_info_for_pack.mli
+++ b/asmcomp/export_info_for_pack.mli
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 (** Transformations on export information that are only used for the
     building of packs. *)
 
diff --git a/asmcomp/flambda_to_clambda.ml b/asmcomp/flambda_to_clambda.ml
index dcecaaecdc..0e91d8e353 100644
--- a/asmcomp/flambda_to_clambda.ml
+++ b/asmcomp/flambda_to_clambda.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 type for_one_or_more_units = {
   fun_offset_table : int Closure_id.Map.t;
   fv_offset_table : int Var_within_closure.Map.t;
diff --git a/asmcomp/flambda_to_clambda.mli b/asmcomp/flambda_to_clambda.mli
index e6c6023b6e..2c2bd9da67 100644
--- a/asmcomp/flambda_to_clambda.mli
+++ b/asmcomp/flambda_to_clambda.mli
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 type result = {
   expr : Clambda.ulambda;
   preallocated_blocks : Clambda.preallocated_block list;
diff --git a/asmcomp/import_approx.ml b/asmcomp/import_approx.ml
index 40565b4aca..69628235f5 100644
--- a/asmcomp/import_approx.ml
+++ b/asmcomp/import_approx.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 module A = Simple_value_approx
 
 let import_set_of_closures =
diff --git a/asmcomp/import_approx.mli b/asmcomp/import_approx.mli
index 185b8ff32a..eb4ab705c6 100644
--- a/asmcomp/import_approx.mli
+++ b/asmcomp/import_approx.mli
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-9-30-40-41-42"]
+
 (** Create simple value approximations from the export information in
     .cmx files. *)
 
diff --git a/asmcomp/un_anf.ml b/asmcomp/un_anf.ml
index ec753445d7..71acbf8f6a 100644
--- a/asmcomp/un_anf.ml
+++ b/asmcomp/un_anf.ml
@@ -14,6 +14,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+[@@@ocaml.warning "+a-4-30-40-41-42"]
+
 (* We say that an [Ident.t] is "linear" iff:
    (a) it is used exactly once;
    (b) it is never assigned to (using [Uassign]).