diff options
author | Son Ho | 2023-08-07 08:59:27 +0200 |
---|---|---|
committer | Son Ho | 2023-08-07 08:59:27 +0200 |
commit | 987dc5c25a1d5cee19f4bba2416cbfa83e6ab6de (patch) | |
tree | c45ee0739f4dc64221a16ca0dcc0a0703758bd60 /compiler/Extract.ml | |
parent | a106d3170eb784d23cd3614a21ef8f1bbb3be2f4 (diff) |
Change some fun id names to use "Mut"/"Shared" as a suffix
Diffstat (limited to 'compiler/Extract.ml')
-rw-r--r-- | compiler/Extract.ml | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/compiler/Extract.ml b/compiler/Extract.ml index 297c182a..c4238d83 100644 --- a/compiler/Extract.ml +++ b/compiler/Extract.ml @@ -329,21 +329,21 @@ let assumed_llbc_functions () : (VecIndex, rg0, "vec_index_back") (* shouldn't be used *); (VecIndexMut, None, "vec_index_mut_fwd"); (VecIndexMut, rg0, "vec_index_mut_back"); - (ArraySharedIndex, None, "array_index_shared"); - (ArrayMutIndex, None, "array_index_mut_fwd"); - (ArrayMutIndex, rg0, "array_index_mut_back"); - (ArrayToSharedSlice, None, "array_to_slice_shared"); - (ArrayToMutSlice, None, "array_to_slice_mut_fwd"); - (ArrayToMutSlice, rg0, "array_to_slice_mut_back"); - (ArraySharedSubslice, None, "array_subslice_shared"); - (ArrayMutSubslice, None, "array_subslice_mut_fwd"); - (ArrayMutSubslice, rg0, "array_subslice_mut_back"); - (SliceSharedIndex, None, "slice_index_shared"); - (SliceMutIndex, None, "slice_index_mut_fwd"); - (SliceMutIndex, rg0, "slice_index_mut_back"); - (SliceSharedSubslice, None, "slice_subslice_shared"); - (SliceMutSubslice, None, "slice_subslice_mut_fwd"); - (SliceMutSubslice, rg0, "slice_subslice_mut_back"); + (ArrayIndexShared, None, "array_index_shared"); + (ArrayIndexMut, None, "array_index_mut_fwd"); + (ArrayIndexMut, rg0, "array_index_mut_back"); + (ArrayToSliceShared, None, "array_to_slice_shared"); + (ArrayToSliceMut, None, "array_to_slice_mut_fwd"); + (ArrayToSliceMut, rg0, "array_to_slice_mut_back"); + (ArraySubsliceShared, None, "array_subslice_shared"); + (ArraySubsliceMut, None, "array_subslice_mut_fwd"); + (ArraySubsliceMut, rg0, "array_subslice_mut_back"); + (SliceIndexShared, None, "slice_index_shared"); + (SliceIndexMut, None, "slice_index_mut_fwd"); + (SliceIndexMut, rg0, "slice_index_mut_back"); + (SliceSubsliceShared, None, "slice_subslice_shared"); + (SliceSubsliceMut, None, "slice_subslice_mut_fwd"); + (SliceSubsliceMut, rg0, "slice_subslice_mut_back"); (SliceLen, None, "slice_len"); ] | Lean -> @@ -360,21 +360,21 @@ let assumed_llbc_functions () : (VecIndex, rg0, "Vec.index_shared_back") (* shouldn't be used *); (VecIndexMut, None, "Vec.index_mut"); (VecIndexMut, rg0, "Vec.index_mut_back"); - (ArraySharedIndex, None, "Array.index_shared"); - (ArrayMutIndex, None, "Array.index_mut"); - (ArrayMutIndex, rg0, "Array.index_mut_back"); - (ArrayToSharedSlice, None, "Array.to_slice_shared"); - (ArrayToMutSlice, None, "Array.to_slice_mut"); - (ArrayToMutSlice, rg0, "Array.to_slice_mut_back"); - (ArraySharedSubslice, None, "Array.subslice_shared"); - (ArrayMutSubslice, None, "Array.subslice_mut"); - (ArrayMutSubslice, rg0, "Array.subslice_mut_back"); - (SliceSharedIndex, None, "Slice.index_shared"); - (SliceMutIndex, None, "Slice.index_mut"); - (SliceMutIndex, rg0, "Slice.index_mut_back"); - (SliceSharedSubslice, None, "Slice.subslice_shared"); - (SliceMutSubslice, None, "Slice.subslice_mut"); - (SliceMutSubslice, rg0, "Slice.subslice_mut_back"); + (ArrayIndexShared, None, "Array.index_shared"); + (ArrayIndexMut, None, "Array.index_mut"); + (ArrayIndexMut, rg0, "Array.index_mut_back"); + (ArrayToSliceShared, None, "Array.to_slice_shared"); + (ArrayToSliceMut, None, "Array.to_slice_mut"); + (ArrayToSliceMut, rg0, "Array.to_slice_mut_back"); + (ArraySubsliceShared, None, "Array.subslice_shared"); + (ArraySubsliceMut, None, "Array.subslice_mut"); + (ArraySubsliceMut, rg0, "Array.subslice_mut_back"); + (SliceIndexShared, None, "Slice.index_shared"); + (SliceIndexMut, None, "Slice.index_mut"); + (SliceIndexMut, rg0, "Slice.index_mut_back"); + (SliceSubsliceShared, None, "Slice.subslice_shared"); + (SliceSubsliceMut, None, "Slice.subslice_mut"); + (SliceSubsliceMut, rg0, "Slice.subslice_mut_back"); (SliceLen, None, "Slice.len"); ] |