diff options
| author | Son Ho | 2023-08-18 10:27:55 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-18 10:27:55 +0200 |
| commit | 26c25bf375742cf4d5a0ab160b9646e90c067f18 (patch) | |
| tree | 2b9363b5fe9fca6d1bdf154ea5fb4f21bc706e2a /compiler/InterpreterLoopsJoinCtxs.ml | |
| parent | 316c386bcdbb66accdd65a311ca978b6d4606695 (diff) | |
Update following the introduction of ConstantExpr
Diffstat (limited to 'compiler/InterpreterLoopsJoinCtxs.ml')
| -rw-r--r-- | compiler/InterpreterLoopsJoinCtxs.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/InterpreterLoopsJoinCtxs.ml b/compiler/InterpreterLoopsJoinCtxs.ml index bf88e055..10205c27 100644 --- a/compiler/InterpreterLoopsJoinCtxs.ml +++ b/compiler/InterpreterLoopsJoinCtxs.ml @@ -557,6 +557,7 @@ let join_ctxs (loop_id : V.LoopId.id) (fixed_ids : ids_sets) (ctx0 : C.eval_ctx) region_groups; type_vars; const_generic_vars; + const_generic_vars_map; env = _; ended_regions = ended_regions0; } = @@ -569,6 +570,7 @@ let join_ctxs (loop_id : V.LoopId.id) (fixed_ids : ids_sets) (ctx0 : C.eval_ctx) region_groups = _; type_vars = _; const_generic_vars = _; + const_generic_vars_map = _; env = _; ended_regions = ended_regions1; } = @@ -583,6 +585,7 @@ let join_ctxs (loop_id : V.LoopId.id) (fixed_ids : ids_sets) (ctx0 : C.eval_ctx) region_groups; type_vars; const_generic_vars; + const_generic_vars_map; env; ended_regions; } |