diff options
| author | Aymeric Fromherz | 2024-05-28 14:51:25 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-28 14:51:25 +0200 |
| commit | 96d803a7aefe27d4401a336c426161d387987b63 (patch) | |
| tree | a54dc455d7c8445f518e6fd679b34fe72d20668d /compiler/InterpreterLoopsJoinCtxs.ml | |
| parent | 445c566f11dcc9ba8c69a154902a12a18ba3a2aa (diff) | |
Compute marker information for borrow/loan maps
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterLoopsJoinCtxs.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/InterpreterLoopsJoinCtxs.ml b/compiler/InterpreterLoopsJoinCtxs.ml index 5c3ce66d..7f80e496 100644 --- a/compiler/InterpreterLoopsJoinCtxs.ml +++ b/compiler/InterpreterLoopsJoinCtxs.ml @@ -209,10 +209,10 @@ let reduce_ctx (span : Meta.span) (loop_id : LoopId.id) (old_ids : ids_sets) List.iter (fun abs_id0 -> let bids = AbstractionId.Map.find abs_id0 abs_to_borrows in - let bids = BorrowId.Set.elements bids in + let bids = MarkerBorrowId.Set.elements bids in List.iter (fun bid -> - match BorrowId.Map.find_opt bid loan_to_abs with + match MarkerBorrowId.Map.find_opt bid loan_to_abs with | None -> (* Nothing to do *) () | Some abs_ids1 -> AbstractionId.Set.iter @@ -372,10 +372,10 @@ let collapse_ctx (span : Meta.span) (loop_id : LoopId.id) List.iter (fun abs_id0 -> let bids = AbstractionId.Map.find abs_id0 abs_to_borrows in - let bids = BorrowId.Set.elements bids in + let bids = MarkerBorrowId.Set.elements bids in List.iter (fun bid -> - match BorrowId.Map.find_opt bid loan_to_abs with + match MarkerBorrowId.Map.find_opt bid loan_to_abs with | None -> (* Nothing to do *) () | Some abs_ids1 -> AbstractionId.Set.iter |