summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Interpreter.ml14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 0ce4ff99..464a7f5b 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -935,7 +935,7 @@ let end_borrow_get_borrow (io : inner_outer)
V.Bottom)
else
(* Update the outer borrows before diving into the borrowed value *)
- let outer_borrows = update_outer_borrows io outer (Borrow l') in
+ let outer = update_outer_borrows io outer (Borrow l') in
V.Borrow (super#visit_MutBorrow outer l' bv)
method! visit_ALoan outer lc =
@@ -997,7 +997,7 @@ let end_borrow_get_borrow (io : inner_outer)
V.ABottom)
else
(* Update the outer borrows before diving into the child avalue *)
- let outer_borrows = update_outer_borrows io outer (Borrow bid) in
+ let outer = update_outer_borrows io outer (Borrow bid) in
V.ABorrow (super#visit_AMutBorrow outer bid av)
| V.ASharedBorrow bid ->
(* Check if this is the borrow we are looking for *)
@@ -1347,7 +1347,7 @@ let give_back_value (config : C.config) (bid : V.BorrowId.id)
loan is inside the same abstraction (in which case we don't need to end the whole
abstraction).
*)
-let give_back_avalue (config : C.config) (bid : V.BorrowId.id)
+let give_back_avalue (_config : C.config) (bid : V.BorrowId.id)
(nv : V.typed_avalue) (ctx : C.eval_ctx) : C.eval_ctx =
(* We use a reference to check that we updated exactly one loan *)
let replaced : bool ref = ref false in
@@ -1436,7 +1436,7 @@ let give_back_avalue (config : C.config) (bid : V.BorrowId.id)
we update.
TODO: this was not the case before, so some sanity checks are not useful anymore.
*)
-let give_back_shared config (bid : V.BorrowId.id) (ctx : C.eval_ctx) :
+let give_back_shared _config (bid : V.BorrowId.id) (ctx : C.eval_ctx) :
C.eval_ctx =
(* We use a reference to check that we updated exactly one loan *)
let replaced : bool ref = ref false in
@@ -1445,7 +1445,7 @@ let give_back_shared config (bid : V.BorrowId.id) (ctx : C.eval_ctx) :
replaced := true
in
let obj =
- object (self)
+ object
inherit [_] C.map_eval_ctx as super
method! visit_Loan opt_abs lc =
@@ -1730,8 +1730,8 @@ and end_borrows (config : C.config) (io : inner_outer)
(fun id ctx -> end_borrow config io allowed_abs id ctx)
lset ctx
-and end_abstraction (config : C.config) (abs : V.AbstractionId.id)
- (ctx : C.eval_ctx) : C.eval_ctx =
+and end_abstraction (_config : C.config) (_abs : V.AbstractionId.id)
+ (_ctx : C.eval_ctx) : C.eval_ctx =
raise Unimplemented
let end_outer_borrow config = end_borrow config Outer None