summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoopsJoinCtxs.mli
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/InterpreterLoopsJoinCtxs.mli')
-rw-r--r--compiler/InterpreterLoopsJoinCtxs.mli6
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/InterpreterLoopsJoinCtxs.mli b/compiler/InterpreterLoopsJoinCtxs.mli
index 0e84657c..f4b5194a 100644
--- a/compiler/InterpreterLoopsJoinCtxs.mli
+++ b/compiler/InterpreterLoopsJoinCtxs.mli
@@ -16,7 +16,7 @@ open InterpreterLoopsCore
- [aid1]
*)
val merge_into_abstraction :
- Meta.meta ->
+ Meta.span ->
loop_id ->
abs_kind ->
bool ->
@@ -86,7 +86,7 @@ val merge_into_abstraction :
- [ctx1]
*)
val join_ctxs :
- Meta.meta -> loop_id -> ids_sets -> eval_ctx -> eval_ctx -> ctx_or_update
+ Meta.span -> loop_id -> ids_sets -> eval_ctx -> eval_ctx -> ctx_or_update
(** Join the context at the entry of the loop with the contexts upon reentry
(upon reaching the [Continue] statement - the goal is to compute a fixed
@@ -106,7 +106,7 @@ val join_ctxs :
*)
val loop_join_origin_with_continue_ctxs :
config ->
- Meta.meta ->
+ Meta.span ->
loop_id ->
ids_sets ->
eval_ctx ->