diff options
| author | Son Ho | 2023-11-21 10:27:08 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-21 10:27:08 +0100 |
| commit | 1dbdd9e316e690e5c63de2e1923afad520c76e4d (patch) | |
| tree | 223d86001f684cb403839f55bdf84a9eeb262262 /compiler/ExtractBuiltin.ml | |
| parent | c3b6ad3685995b3b96dc88789e8512560d3257b3 (diff) | |
Update more names
Diffstat (limited to 'compiler/ExtractBuiltin.ml')
| -rw-r--r-- | compiler/ExtractBuiltin.ml | 13 |
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; |