diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-05-25 16:29:05 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-07-21 13:51:46 +0200 |
| commit | d5a6e50ebee73ff98c4179bba7570cdd9e488a35 (patch) | |
| tree | e47a161d4a0d06c3266ddd3eabb0abd6a9e1ba3d /driver/optmain.ml | |
| parent | e82191fea3890426e4499668041c14694fef8dd2 (diff) | |
| download | ocaml-d5a6e50ebee73ff98c4179bba7570cdd9e488a35.tar.gz | |
GPR#606: add unboxed types
Diffstat (limited to 'driver/optmain.ml')
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index e9ae7fd6a6..6a8ea204d8 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -231,6 +231,8 @@ module Options = Main_args.Make_optcomp_options (struct let _thread = set use_threads let _unbox_closures = set unbox_closures let _unbox_closures_factor f = unbox_closures_factor := f + let _unboxed_types = set unboxed_types + let _no_unboxed_types = clear unboxed_types let _unsafe = set fast let _unsafe_string = set unsafe_string let _v () = print_version_and_library "native-code compiler" |