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(-)

(limited to 'compiler')

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