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/PureMicroPasses.ml | |
parent | a106d3170eb784d23cd3614a21ef8f1bbb3be2f4 (diff) |
Change some fun id names to use "Mut"/"Shared" as a suffix
Diffstat (limited to '')
-rw-r--r-- | compiler/PureMicroPasses.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/PureMicroPasses.ml b/compiler/PureMicroPasses.ml index 52eeee26..b6025df4 100644 --- a/compiler/PureMicroPasses.ml +++ b/compiler/PureMicroPasses.ml @@ -1564,10 +1564,10 @@ let eliminate_box_functions (_ctx : trans_ctx) (def : fun_decl) : fun_decl = assert (args = []); mk_unit_rvalue | ( ( A.Replace | VecNew | VecPush | VecInsert | VecLen - | VecIndex | VecIndexMut | ArraySharedSubslice - | ArrayMutSubslice | SliceSharedIndex | SliceMutIndex - | SliceSharedSubslice | SliceMutSubslice | ArraySharedIndex - | ArrayMutIndex | ArrayToSharedSlice | ArrayToMutSlice + | VecIndex | VecIndexMut | ArraySubsliceShared + | ArraySubsliceMut | SliceIndexShared | SliceIndexMut + | SliceSubsliceShared | SliceSubsliceMut | ArrayIndexShared + | ArrayIndexMut | ArrayToSliceShared | ArrayToSliceMut | SliceLen ), _ ) -> super#visit_texpression env e) |