summaryrefslogtreecommitdiff
path: root/driver/main_args.ml
diff options
context:
space:
mode:
Diffstat (limited to 'driver/main_args.ml')
-rw-r--r--driver/main_args.ml12
1 files changed, 12 insertions, 0 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml
index 9b3d990d2d..90f2643153 100644
--- a/driver/main_args.ml
+++ b/driver/main_args.ml
@@ -80,6 +80,10 @@ let mk_g_opt f =
"-g", Arg.Unit f, " Record debugging information for exception backtrace"
;;
+let mk_help_warnings f =
+ "-help-warnings", Arg.Unit f, " Show definition for warnings numbers"
+;;
+
let mk_i f =
"-i", Arg.Unit f, " Print inferred interface"
;;
@@ -375,6 +379,7 @@ module type Bytecomp_options = sig
val _dllib : string -> unit
val _dllpath : string -> unit
val _g : unit -> unit
+ val _help_warnings : unit -> unit
val _i : unit -> unit
val _I : string -> unit
val _impl : string -> unit
@@ -417,6 +422,7 @@ module type Bytecomp_options = sig
end;;
module type Bytetop_options = sig
+ val _help_warnings : unit -> unit
val _I : string -> unit
val _init : string -> unit
val _labels : unit -> unit
@@ -452,6 +458,7 @@ module type Optcomp_options = sig
val _config : unit -> unit
val _for_pack : string -> unit
val _g : unit -> unit
+ val _help_warnings : unit -> unit
val _i : unit -> unit
val _I : string -> unit
val _impl : string -> unit
@@ -508,6 +515,7 @@ end;;
module type Opttop_options = sig
val _compact : unit -> unit
+ val _help_warnings : unit -> unit
val _I : string -> unit
val _init : string -> unit
val _inline : int -> unit
@@ -566,6 +574,7 @@ struct
mk_dtypes F._annot;
mk_for_pack_byt ();
mk_g_byt F._g;
+ mk_help_warnings F._help_warnings;
mk_i F._i;
mk_I F._I;
mk_impl F._impl;
@@ -615,6 +624,7 @@ end;;
module Make_bytetop_options (F : Bytetop_options) =
struct
let list = [
+ mk_help_warnings F._help_warnings;
mk_I F._I;
mk_init F._init;
mk_labels F._labels;
@@ -654,6 +664,7 @@ struct
mk_dtypes F._annot;
mk_for_pack_opt F._for_pack;
mk_g_opt F._g;
+ mk_help_warnings F._help_warnings;
mk_i F._i;
mk_I F._I;
mk_impl F._impl;
@@ -710,6 +721,7 @@ end;;
module Make_opttop_options (F : Opttop_options) = struct
let list = [
mk_compact F._compact;
+ mk_help_warnings F._help_warnings;
mk_I F._I;
mk_init F._init;
mk_inline F._inline;