diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-01-04 18:51:14 +0100 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-01-04 18:51:14 +0100 |
commit | c6d95c9ef6b64aa3321a69a885b6d52dca377bc4 (patch) | |
tree | 7eb09986cf5474f7a95cda7f983bc180d7012b22 /driver/optcompile.ml | |
parent | 9b3fa9f75a8f295bc9e32ab406a7e51a9957717a (diff) | |
download | ocaml-c6d95c9ef6b64aa3321a69a885b6d52dca377bc4.tar.gz |
Compile_common.init: make ppf_dump a labelled argument
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r-- | driver/optcompile.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index a458002051..9256253166 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -25,7 +25,7 @@ let init = let interface ~source_file ~output_prefix = Compmisc.with_ppf_dump ~file_prefix:(output_prefix ^ ".cmi") @@ fun ppf_dump -> - let info = init ppf_dump ~source_file ~output_prefix in + let info = init ~ppf_dump ~source_file ~output_prefix in Compile_common.interface info let (|>>) (x, y) f = (x, f y) @@ -79,7 +79,7 @@ let clambda i typed = let implementation ~backend ~source_file ~output_prefix = Compmisc.with_ppf_dump ~file_prefix:(output_prefix ^ ".cmx") @@ fun ppf_dump -> - let info = init ppf_dump ~source_file ~output_prefix in + let info = init ~ppf_dump ~source_file ~output_prefix in let backend info typed = Compilenv.reset ?packname:!Clflags.for_package info.module_name; if Config.flambda |