diff options
| author | Son Ho | 2023-11-06 18:52:41 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-06 18:52:41 +0100 |
| commit | bcc3f4ae99ba5ff78d03c51c825659e1b67bb0b0 (patch) | |
| tree | 175c8032a5b29be1887ed8631f00b5d93817302f | |
| parent | c8fce0c24f2f5331f2f1135cc17d45192f2b30e3 (diff) | |
Fix a naming issue
| -rw-r--r-- | compiler/ExtractTypes.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/ExtractTypes.ml b/compiler/ExtractTypes.ml index f4be9006..7bd02381 100644 --- a/compiler/ExtractTypes.ml +++ b/compiler/ExtractTypes.ml @@ -700,7 +700,9 @@ let mk_formatter (ctx : trans_ctx) (crate_name : string) with the trait decl name *) let trait_decl = let name = trait_decl.name in - get_type_name_no_suffix name ^ "Inst" + let name = get_type_name_no_suffix name ^ "Inst" in + (* Remove the occurrences of '.' *) + String.concat "" (String.split_on_char '.' name) in flatten_name (get_type_name trait_impl.name @ [ trait_decl ]) in |