diff options
author | Mark Shinwell <mshinwell@gmail.com> | 2016-02-08 14:05:38 +0100 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2016-02-09 09:59:26 +0100 |
commit | a3975110317da9b47b018f60fdb57236e8db9f12 (patch) | |
tree | 55b067c9c19f128a35fc6d5a89228255855ae646 /driver/optcompile.ml | |
parent | ec190a03a3e33acee42aea7f27a931ff70d3216f (diff) | |
download | ocaml-a3975110317da9b47b018f60fdb57236e8db9f12.tar.gz |
Import latest Flambda changes
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r-- | driver/optcompile.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 9592de1a17..a0a82edb1e 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -91,7 +91,9 @@ let implementation ppf sourcefile outputprefix ~backend = Clflags.use_inlining_arguments_set ~round:1 Clflags.o2_arguments end else if !Clflags.classic_inlining then begin - Clflags.use_inlining_arguments_set Clflags.classic_arguments + Clflags.use_inlining_arguments_set Clflags.classic_arguments; + Clflags.unbox_free_vars_of_closures := false; + Clflags.unbox_specialised_args := false end; (typedtree, coercion) ++ Timings.(time (Timings.Transl sourcefile) |