From f03888772e8c983dcae8d6bc8b12ef6b896266a8 Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Fri, 31 May 2024 11:29:04 +0200
Subject: Also fix implementation of Join-SharedBorrow

---
 compiler/InterpreterLoopsMatchCtxs.ml | 6 +++---
 1 file 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
-- 
cgit v1.2.3