diff options
Diffstat (limited to 'driver/main_args.ml')
| -rw-r--r-- | driver/main_args.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index 8203454660..60db017aa8 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -569,10 +569,6 @@ let mk_no_unboxed_types f = " unannotated unboxable types will not be unboxed (default)" ;; -let mk_force_tmc f = - "-force-tmc", Arg.Unit f, " Rewrite all possible TMC calls" -;; - let mk_unsafe f = "-unsafe", Arg.Unit f, " Do not compile bounds checking on array and string access" @@ -935,7 +931,6 @@ module type Common_options = sig val _no_strict_sequence : unit -> unit val _strict_formats : unit -> unit val _no_strict_formats : unit -> unit - val _force_tmc : unit -> unit val _unboxed_types : unit -> unit val _no_unboxed_types : unit -> unit val _unsafe_string : unit -> unit @@ -1232,7 +1227,6 @@ struct mk_strict_formats F._strict_formats; mk_no_strict_formats F._no_strict_formats; mk_thread F._thread; - mk_force_tmc F._force_tmc; mk_unboxed_types F._unboxed_types; mk_no_unboxed_types F._no_unboxed_types; mk_unsafe F._unsafe; @@ -1435,7 +1429,6 @@ struct mk_strict_formats F._strict_formats; mk_no_strict_formats F._no_strict_formats; mk_thread F._thread; - mk_force_tmc F._force_tmc; mk_unbox_closures F._unbox_closures; mk_unbox_closures_factor F._unbox_closures_factor; mk_inline_max_unroll F._inline_max_unroll; @@ -1635,7 +1628,6 @@ struct mk_strict_formats F._strict_formats; mk_no_strict_formats F._no_strict_formats; mk_thread F._thread; - mk_force_tmc F._force_tmc; mk_unboxed_types F._unboxed_types; mk_no_unboxed_types F._no_unboxed_types; mk_unsafe_string F._unsafe_string; @@ -1939,7 +1931,6 @@ module Default = struct let _noprompt = set noprompt let _nopromptcont = set nopromptcont let _stdin () = (* placeholder: file_argument ""*) () - let _force_tmc = set force_tmc let _version () = print_version () let _vnum () = print_version_num () let _eval (_:string) = () @@ -1976,7 +1967,6 @@ module Default = struct "Profiling with \"gprof\" (option `-p') is only supported up to \ OCaml 4.08.0" let _shared () = shared := true; dlcode := true - let _force_tmc = set force_tmc let _v () = Compenv.print_version_and_library "native-code compiler" end @@ -1997,7 +1987,6 @@ module Default = struct let _pp s = Clflags.preprocessor := (Some s) let _ppx s = Clflags.all_ppx := (s :: (!Clflags.all_ppx)) let _thread = set Clflags.use_threads - let _force_tmc = set force_tmc let _v () = Compenv.print_version_and_library "documentation generator" let _verbose = set Clflags.verbose let _version = Compenv.print_version_string @@ -2031,7 +2020,6 @@ third-party libraries such as Lwt, but with a different API." let _output_complete_exe () = _output_complete_obj (); output_complete_executable := true let _output_obj () = output_c_object := true; custom_runtime := true - let _force_tmc = set force_tmc let _use_prims s = use_prims := s let _use_runtime s = use_runtime := s let _v () = Compenv.print_version_and_library "compiler" |