diff options
| author | Alain Frisch <alain.frisch@lexifi.com> | 2019-06-28 12:05:05 +0200 |
|---|---|---|
| committer | Alain Frisch <alain.frisch@lexifi.com> | 2019-06-28 12:05:05 +0200 |
| commit | c3c7889a20e371e31981417794f70b92d03b85b7 (patch) | |
| tree | dfb1383f7df1c30fa8902b52b348d6ed6f52da82 /typing/envaux.ml | |
| parent | 30a210100cddd3bebba4f690cebae8856845be11 (diff) | |
| download | ocaml-simplify_duplicate_ident_optim.tar.gz | |
New implementation of Env.make_copy_of_typessimplify_duplicate_ident_optim
Diffstat (limited to 'typing/envaux.ml')
| -rw-r--r-- | typing/envaux.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/envaux.ml b/typing/envaux.ml index 2780cc045b..ddb792aa9b 100644 --- a/typing/envaux.ml +++ b/typing/envaux.ml @@ -80,9 +80,9 @@ let rec env_from_summary sum subst = Env.add_local_type (Subst.type_path subst path) (Subst.type_declaration subst info)) map (env_from_summary s subst) - | Env_copy_types (s, sl) -> + | Env_copy_types s -> let env = env_from_summary s subst in - Env.do_copy_types (Env.make_copy_of_types sl env) env + Env.make_copy_of_types env env | Env_persistent (s, id) -> let env = env_from_summary s subst in Env.add_persistent_structure id env |