diff options
author | Son Ho | 2023-11-24 17:38:44 +0100 |
---|---|---|
committer | Son Ho | 2023-11-24 17:38:44 +0100 |
commit | 1c8187d7f4129e09f23d3b5caf33938a0c91ea77 (patch) | |
tree | f6346d2668df498cea49475819ae068cf85d3808 /compiler/ExtractName.ml | |
parent | 3fb8105afe1d43beb326906f124d7e0e7cefe7bc (diff) |
Add the alloc::string::String type in the builtins
Diffstat (limited to 'compiler/ExtractName.ml')
-rw-r--r-- | compiler/ExtractName.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ExtractName.ml b/compiler/ExtractName.ml index c0a23080..a916bffb 100644 --- a/compiler/ExtractName.ml +++ b/compiler/ExtractName.ml @@ -76,6 +76,7 @@ let pattern_to_extract_name (is_trait_impl : bool) (name : pattern) : in pattern_to_string name +let pattern_to_type_extract_name = pattern_to_extract_name false let pattern_to_fun_extract_name = pattern_to_extract_name false let pattern_to_trait_impl_extract_name = pattern_to_extract_name true |