diff options
author | Aymeric Fromherz | 2024-05-31 11:29:04 +0200 |
---|---|---|
committer | Aymeric Fromherz | 2024-05-31 11:29:04 +0200 |
commit | f03888772e8c983dcae8d6bc8b12ef6b896266a8 (patch) | |
tree | 4b967bb20872ae73727b740b03d8f71435cf7dcf | |
parent | bdabf34385eb8949a4ca3e66be44d0067d57b159 (diff) |
Also fix implementation of Join-SharedBorrow
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterLoopsMatchCtxs.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/InterpreterLoopsMatchCtxs.ml b/compiler/InterpreterLoopsMatchCtxs.ml index 0ea832d7..9b1d3dd0 100644 --- a/compiler/InterpreterLoopsMatchCtxs.ml +++ b/compiler/InterpreterLoopsMatchCtxs.ml @@ -516,11 +516,11 @@ module MakeJoinMatcher (S : MatchJoinState) : PrimMatcher = struct let borrow_ty = mk_ref_ty (RFVar rid) bv_ty kind in (* Generate the avalues for the abstraction *) - let mk_aborrow (bid : borrow_id) : typed_avalue = - let value = ABorrow (ASharedBorrow (PNone, bid)) in + let mk_aborrow (pm: proj_marker) (bid : borrow_id) : typed_avalue = + let value = ABorrow (ASharedBorrow (pm, bid)) in { value; ty = borrow_ty } in - let borrows = [ mk_aborrow bid0; mk_aborrow bid1 ] in + let borrows = [ mk_aborrow PLeft bid0; mk_aborrow PRight bid1 ] in let loan = ASharedLoan |