summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2023-11-21 10:27:08 +0100
committerSon Ho2023-11-21 10:27:08 +0100
commit1dbdd9e316e690e5c63de2e1923afad520c76e4d (patch)
tree223d86001f684cb403839f55bdf84a9eeb262262 /compiler
parentc3b6ad3685995b3b96dc88789e8512560d3257b3 (diff)
Update more names
Diffstat (limited to '')
-rw-r--r--compiler/ExtractBuiltin.ml13
1 files changed, 7 insertions, 6 deletions
diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml
index f4f34155..b0a5159f 100644
--- a/compiler/ExtractBuiltin.ml
+++ b/compiler/ExtractBuiltin.ml
@@ -278,18 +278,19 @@ let builtin_funs () : (pattern * bool list option * builtin_fun_info list) list
mk_fun "core::array::{[@T; @C]}::index" None None true false;
mk_fun "core::array::{[@T; @C]}::index_mut" None None true false;
mk_fun "core::slice::index::{core::ops::range::Range<usize>}::get"
- (Some "core::slice::index::Range::get") None true false;
+ (Some "core::slice::index::RangeUsize::get") None true false;
mk_fun "core::slice::index::{core::ops::range::Range<usize>}::get_mut"
- (Some "core::slice::index::Range::get_mut") None true false;
+ (Some "core::slice::index::RangeUsize::get_mut") None true false;
mk_fun "core::slice::index::{core::ops::range::Range<usize>}::index"
- (Some "core::slice::index::Range::index") None true false;
+ (Some "core::slice::index::RangeUsize::index") None true false;
mk_fun "core::slice::index::{core::ops::range::Range<usize>}::index_mut"
- (Some "core::slice::index::Range::index_mut") None true false;
+ (Some "core::slice::index::RangeUsize::index_mut") None true false;
mk_fun "core::slice::index::{core::ops::range::Range<usize>}::get_unchecked"
- (Some "core::slice::index::Range::get_unchecked") None false false;
+ (Some "core::slice::index::RangeUsize::get_unchecked") None false false;
mk_fun
"core::slice::index::{core::ops::range::Range<usize>}::get_unchecked_mut"
- (Some "core::slice::index::Range::get_unchecked_mut") None false false;
+ (Some "core::slice::index::RangeUsize::get_unchecked_mut") None false
+ false;
mk_fun "core::slice::index::{usize}::get" None None true false;
mk_fun "core::slice::index::{usize}::get_mut" None None true false;
mk_fun "core::slice::index::{usize}::get_unchecked" None None false false;