From aba244a99d95938e495ff513ff021c81603b28f1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 17 Dec 2021 10:00:25 +0100
Subject: Start working on visit_ABorrow for end_borrow_get_borrow_in_env

---
 src/Interpreter.ml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index baf433c2..9a440648 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -703,8 +703,12 @@ let end_borrow_get_borrow_in_env (io : inner_outer)
         match bc with
         | V.AMutBorrow (bid, av) -> raise Unimplemented
         | V.ASharedBorrow bid -> raise Unimplemented
-        | V.AIgnoredMutBorrow av -> raise Unimplemented
-        | V.AIgnoredSharedBorrow asb -> raise Unimplemented
+        | V.AIgnoredMutBorrow av ->
+            (* Nothing special to do *)
+            V.ABorrow (super#visit_AIgnoredMutBorrow outer av)
+        | V.AIgnoredSharedBorrow asb ->
+            (* Nothing special to do *)
+            V.ABorrow (super#visit_AIgnoredSharedBorrow outer asb)
 
       method! visit_abs outer abs =
         (* Update the outer abs *)
-- 
cgit v1.2.3