flambda-backend: Rename -no-extensions flag to -disable-all-extensions (#425)

Author: gretay-js

driver/compenv.ml

@@ -470,8 +470,8 @@ let read_one_param ppf position name v =
     end
 
   | "extension" -> Clflags.Extension.enable v
-  | "no-extensions" ->
-    if check_bool ppf "no-extensions" v then Clflags.Extension.disable_all ()
+  | "disable-all-extensions" ->
+    if check_bool ppf name v then Clflags.Extension.disable_all ()
 
   | _ ->
     if !warnings_for_discarded_params &&

driver/main_args.ml

@@ -723,8 +723,8 @@ let mk_extension f =
   "<extension>  Enable the extension (may be specified more than once)"
 ;;
 
-let mk_no_extensions f =
-  "-no-extensions", Arg.Unit f,
+let mk_disable_all_extensions f =
+  "-disable-all-extensions", Arg.Unit f,
   " Disable all extensions, wherever they are specified; this flag\n\
   \    overrides the -extension flag (whether specified before or after this\n\
   \    flag), disables any extensions that are enabled by default, and\n\
@@ -1039,7 +1039,7 @@ module type Compiler_options = sig
   val _match_context_rows : int -> unit
   val _dtimings : unit -> unit
   val _dprofile : unit -> unit
-  val _no_extensions : unit -> unit
+  val _disable_all_extensions : unit -> unit
   val _dump_into_file : unit -> unit
 
   val _args: string -> string array
@@ -1291,7 +1291,7 @@ struct
     mk_dcamlprimc F._dcamlprimc;
     mk_dtimings F._dtimings;
     mk_dprofile F._dprofile;
-    mk_no_extensions F._no_extensions;
+    mk_disable_all_extensions F._disable_all_extensions;
     mk_dump_into_file F._dump_into_file;
     mk_extension F._extension;
 
@@ -1518,7 +1518,7 @@ struct
     mk_dstartup F._dstartup;
     mk_dtimings F._dtimings;
     mk_dprofile F._dprofile;
-    mk_no_extensions F._no_extensions;
+    mk_disable_all_extensions F._disable_all_extensions;
     mk_dump_into_file F._dump_into_file;
     mk_dump_pass F._dump_pass;
     mk_extension F._extension;
@@ -1892,7 +1892,7 @@ module Default = struct
     let _config_var = Misc.show_config_variable_and_exit
     let _dprofile () = profile_columns := Profile.all_columns
     let _dtimings () = profile_columns := [`Time]
-    let _no_extensions = Extension.disable_all
+    let _disable_all_extensions = Extension.disable_all
     let _dump_into_file = set dump_into_file
     let _for_pack s = for_package := (Some s)
     let _g = set debug

driver/main_args.mli

@@ -119,7 +119,7 @@ module type Compiler_options = sig
   val _match_context_rows : int -> unit
   val _dtimings : unit -> unit
   val _dprofile : unit -> unit
-  val _no_extensions : unit -> unit
+  val _disable_all_extensions : unit -> unit
   val _dump_into_file : unit -> unit
 
   val _args: string -> string array

utils/clflags.ml

@@ -383,7 +383,7 @@ module Extension = struct
   let extensions = ref ([] : t list)   (* -extension *)
   let equal Comprehensions Comprehensions = true
 
-  let disable_all_extensions = ref false             (* -no-extensions *)
+  let disable_all_extensions = ref false             (* -disable-all-extensions *)
   let disable_all () = disable_all_extensions := true
 
   let to_string = function