diff options
author | Leandro Ostera <leandro@ostera.io> | 2020-11-05 19:06:12 +0100 |
---|---|---|
committer | Leandro Ostera <leandro@ostera.io> | 2020-11-05 19:06:12 +0100 |
commit | ee2f3b428c074539f14dacae1faeb07a9de4be77 (patch) | |
tree | c4a3d63be0654443d9955ea780d98a6b074ba139 /driver/optcompile.ml | |
parent | 3be9e19c17328f109b403305d95084fb81936a20 (diff) | |
download | ocaml-ee2f3b428c074539f14dacae1faeb07a9de4be77.tar.gz |
Move typed_impl to Typedtree.t
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 99f2c0751c..51fc23cfb6 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -31,7 +31,7 @@ let (|>>) (x, y) f = (x, f y) (** Native compilation backend for .ml files. *) -let flambda i backend Typemod.{structure; coercion; _} = +let flambda i backend Typedtree.{structure; coercion; _} = if !Clflags.classic_inlining then begin Clflags.default_simplify_rounds := 1; Clflags.use_inlining_arguments_set Clflags.classic_arguments; @@ -66,7 +66,7 @@ let flambda i backend Typemod.{structure; coercion; _} = program); Compilenv.save_unit_info (cmx i)) -let clambda i backend Typemod.{structure; coercion; _} = +let clambda i backend Typedtree.{structure; coercion; _} = Clflags.use_inlining_arguments_set Clflags.classic_arguments; (structure, coercion) |> Profile.(record transl) |