From 4a3779de578cebe01143bb18d295457107be1e3a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 16 Nov 2023 11:13:15 +0100
Subject: Fix a minor issue
---
compiler/ExtractTypes.ml | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/compiler/ExtractTypes.ml b/compiler/ExtractTypes.ml
index e4617d2c..de4ec735 100644
--- a/compiler/ExtractTypes.ml
+++ b/compiler/ExtractTypes.ml
@@ -632,7 +632,12 @@ let mk_formatter (ctx : trans_ctx) (crate_name : string)
"Tuple"
^ String.concat ""
(List.map (ty_to_simple_name generics) args.types)
- | TAssumed id -> Types.show_assumed_ty id)
+ | TAssumed id -> (
+ match id with
+ | Types.TBox -> "Box"
+ | Types.TArray -> "Array"
+ | Types.TSlice -> "Slice"
+ | Types.TStr -> "Str"))
| TVar vid ->
(* Use the variable name *)
(List.find (fun (v : type_var) -> v.index = vid) generics.types).name
--
cgit v1.2.3