Make more updates to assignment and update ctx_pop_frame

1 files changed, 18 insertions, 0 deletions

diff --git a/src/ValuesUtils.ml b/src/ValuesUtils.ml
index 16c94800..f90a98ef 100644
--- a/src/ValuesUtils.ml
+++ b/src/ValuesUtils.ml
@@ -60,3 +60,21 @@ let loans_in_value (v : typed_value) : bool =
     obj#visit_typed_value () v;
     false
   with Found -> true
+
+(** Check if a value contains outer loans (i.e., loans which are not in borrwed
+    values. *)
+let outer_loans_in_value (v : typed_value) : bool =
+  let obj =
+    object
+      inherit [_] iter_typed_value
+
+      method! visit_loan_content _env _ = raise Found
+
+      method! visit_borrow_content _ _ = ()
+    end
+  in
+  (* We use exceptions *)
+  try
+    obj#visit_typed_value () v;
+    false
+  with Found -> true