diff options
author | Son Ho | 2023-10-24 17:47:39 +0200 |
---|---|---|
committer | Son Ho | 2023-10-24 17:47:39 +0200 |
commit | 6eebc66e34561bc6985b5866d49c8314a6fbaee9 (patch) | |
tree | 8340143b93fac9c9bf64b94a8a212bb4cd6fba4f /compiler/ExtractBuiltin.ml | |
parent | fb4fe9ec2c00f15a745ee12357e4a8f929a4dfc0 (diff) |
Start taking into account non-fallible functions like core::mem::replace
Diffstat (limited to '')
-rw-r--r-- | compiler/ExtractBuiltin.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml index 2e46b120..9cc7c226 100644 --- a/compiler/ExtractBuiltin.ml +++ b/compiler/ExtractBuiltin.ml @@ -29,6 +29,7 @@ module SimpleNameOrd = struct end module SimpleNameMap = Collections.MakeMap (SimpleNameOrd) +module SimpleNameSet = Collections.MakeSet (SimpleNameOrd) (** Small utility to memoize some computations *) let mk_memoized (f : unit -> 'a) : unit -> 'a = @@ -374,6 +375,13 @@ let mk_builtin_funs_map () = let builtin_funs_map = mk_memoized mk_builtin_funs_map +let builtin_non_fallible_funs = + [ "alloc::boxed::Box::deref"; "alloc::boxed::Box::deref_mut" ] + +let builtin_non_fallible_funs_set = + SimpleNameSet.of_list + (List.map string_to_simple_name builtin_non_fallible_funs) + type builtin_trait_decl_info = { rust_name : string; extract_name : string; |