summaryrefslogtreecommitdiff
path: root/compiler/InterpreterStatements.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/InterpreterStatements.ml')
-rw-r--r--compiler/InterpreterStatements.ml8
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