diff options
author | Nadrieril | 2024-06-26 13:53:45 +0200 |
---|---|---|
committer | Nadrieril | 2024-06-28 09:46:11 +0200 |
commit | 617941a779baab199aa69bf2e8578a1ee7877289 (patch) | |
tree | 57f062f6243ae878b3fbc0df5abb9b7a938cb7f7 /compiler/Translate.ml | |
parent | 2e9d264566d32a9ee2a12d005851434cd8390975 (diff) |
Remove redundant `llbc_name` field
It's redundant with `item_meta.name`
Diffstat (limited to '')
-rw-r--r-- | compiler/Translate.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index cadf8cbd..672fb22f 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -442,7 +442,7 @@ let export_types_group (fmt : Format.formatter) (config : gen_config) let types_map = builtin_types_map () in List.map (fun (def : Pure.type_decl) -> - match_name_find_opt ctx.trans_ctx def.llbc_name types_map <> None) + match_name_find_opt ctx.trans_ctx def.item_meta.name types_map <> None) defs in @@ -648,7 +648,8 @@ let export_functions_group (fmt : Format.formatter) (config : gen_config) let funs_map = builtin_funs_map () in List.map (fun (trans : pure_fun_translation) -> - match_name_find_opt ctx.trans_ctx trans.f.llbc_name funs_map <> None) + match_name_find_opt ctx.trans_ctx trans.f.item_meta.name funs_map + <> None) pure_ls in @@ -727,7 +728,7 @@ let export_trait_decl (fmt : Format.formatter) (_config : gen_config) (* Check if the trait declaration is builtin, in which case we ignore it *) let open ExtractBuiltin in if - match_name_find_opt ctx.trans_ctx trait_decl.llbc_name + match_name_find_opt ctx.trans_ctx trait_decl.item_meta.name (builtin_trait_decls_map ()) = None then ( @@ -752,7 +753,7 @@ let export_trait_impl (fmt : Format.formatter) (_config : gen_config) let trait_impl = TraitImplId.Map.find trait_impl.def_id ctx.crate.trait_impls in - match_name_with_generics_find_opt ctx.trans_ctx trait_decl.llbc_name + match_name_with_generics_find_opt ctx.trans_ctx trait_decl.item_meta.name trait_impl.impl_trait.decl_generics (builtin_trait_impls_map ()) in |