diff options
author | Son Ho | 2023-11-16 11:13:15 +0100 |
---|---|---|
committer | Son Ho | 2023-11-16 11:13:15 +0100 |
commit | 4a3779de578cebe01143bb18d295457107be1e3a (patch) | |
tree | 8012f9f681e25f731ac6552e4b8b816bff79479b | |
parent | 0757cdee8c6b8a8020d4b96a44a3017944c9a808 (diff) |
Fix a minor issue
-rw-r--r-- | compiler/ExtractTypes.ml | 7 |
1 files changed, 6 insertions, 1 deletions
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 |