summaryrefslogtreecommitdiff
path: root/driver/optcompile.ml
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2019-01-04 18:51:14 +0100
committerGabriel Scherer <gabriel.scherer@gmail.com>2019-01-04 18:51:14 +0100
commitc6d95c9ef6b64aa3321a69a885b6d52dca377bc4 (patch)
tree7eb09986cf5474f7a95cda7f983bc180d7012b22 /driver/optcompile.ml
parent9b3fa9f75a8f295bc9e32ab406a7e51a9957717a (diff)
downloadocaml-c6d95c9ef6b64aa3321a69a885b6d52dca377bc4.tar.gz
Compile_common.init: make ppf_dump a labelled argument
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r--driver/optcompile.ml4
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