diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterStatements.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml index 157cca38..045c4484 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -644,10 +644,10 @@ let eval_non_local_function_call_concrete (config : C.config) | VecNew | VecPush | VecInsert | VecLen | VecIndex | VecIndexMut -> eval_vec_function_concrete config fid region_params type_params cg_params - | ArraySharedIndex | ArrayMutIndex | ArrayToSharedSlice - | ArrayToMutSlice | ArraySharedSubslice | ArrayMutSubslice - | SliceSharedIndex | SliceMutIndex | SliceSharedSubslice - | SliceMutSubslice | SliceLen -> + | ArrayIndexShared | ArrayIndexMut | ArrayToSliceShared + | ArrayToSliceMut | ArraySubsliceShared | ArraySubsliceMut + | SliceIndexShared | SliceIndexMut | SliceSubsliceShared + | SliceSubsliceMut | SliceLen -> raise (Failure "Unimplemented") in |