summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to 'compiler')
-rw-r--r--compiler/InterpreterLoopsMatchCtxs.ml6
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