diff options
author | Leo White <leo@lpw25.net> | 2019-06-28 14:31:42 +0100 |
---|---|---|
committer | Leo White <leo@lpw25.net> | 2019-06-28 16:17:00 +0100 |
commit | 11edca87984441924c86b64b1358481251783d18 (patch) | |
tree | ad8292fe47c17f1a333d86ed550ced140af16717 /bytecomp/bytepackager.ml | |
parent | 30a210100cddd3bebba4f690cebae8856845be11 (diff) | |
download | ocaml-11edca87984441924c86b64b1358481251783d18.tar.gz |
Fix #8769 (#8770)
* Don't generate illegal Pfield's when compiling alias coercions
* Simplify lambda code when compiling packs
* Add regression test for pr8769
* Add Changes entry
Diffstat (limited to 'bytecomp/bytepackager.ml')
-rw-r--r-- | bytecomp/bytepackager.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bytecomp/bytepackager.ml b/bytecomp/bytepackager.ml index ba57ef9411..2458030bd1 100644 --- a/bytecomp/bytepackager.ml +++ b/bytecomp/bytepackager.ml @@ -195,6 +195,7 @@ let build_global_target ~ppf_dump oc target_name members mapping pos coercion = let lam = Translmod.transl_package components (Ident.create_persistent target_name) coercion in + let lam = Simplif.simplify_lambda lam in if !Clflags.dump_lambda then Format.fprintf ppf_dump "%a@." Printlambda.lambda lam; let instrs = |