summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2023-11-06 18:52:41 +0100
committerSon Ho2023-11-06 18:52:41 +0100
commitbcc3f4ae99ba5ff78d03c51c825659e1b67bb0b0 (patch)
tree175c8032a5b29be1887ed8631f00b5d93817302f
parentc8fce0c24f2f5331f2f1135cc17d45192f2b30e3 (diff)
Fix a naming issue
-rw-r--r--compiler/ExtractTypes.ml4
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