From 6d21462223fe26a92ee565deb56e48670a74f16a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 22 Nov 2021 09:43:23 +0100
Subject: Finish the function typed_value_to_string

---
 src/Print.ml | 28 ++++++++++++++++++++++++++--
 1 file changed, 26 insertions(+), 2 deletions(-)

diff --git a/src/Print.ml b/src/Print.ml
index 2ae88836..1ad2f5cb 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -248,8 +248,32 @@ module Values = struct
     | Bottom -> "⊥"
     | Assumed av -> (
         match av with Box bv -> "@Box(" ^ typed_value_to_string fmt bv ^ ")")
-    | Borrow bc -> "" (* TODO *)
-    | Loan lc -> "" (* TODO *)
+    | Borrow bc -> borrow_content_to_string fmt bc
+    | Loan lc -> loan_content_to_string fmt lc
     | Symbolic sp ->
         symbolic_proj_comp_to_string (value_to_rtype_formatter fmt) sp
+
+  and borrow_content_to_string (fmt : value_formatter) (bc : borrow_content) :
+      string =
+    match bc with
+    | SharedBorrow bid -> "⌊shared@" ^ BorrowId.to_string bid ^ "⌋"
+    | MutBorrow (bid, tv) ->
+        "&mut@" ^ BorrowId.to_string bid ^ " ("
+        ^ typed_value_to_string fmt tv
+        ^ ")"
+    | InactivatedMutBorrow bid ->
+        "⌊inactivated_mut@" ^ BorrowId.to_string bid ^ "⌋"
+
+  and loan_content_to_string (fmt : value_formatter) (lc : loan_content) :
+      string =
+    match lc with
+    | SharedLoan (loans, v) ->
+        let loans =
+          BorrowId.Set.fold
+            (fun lid loans -> BorrowId.to_string lid :: loans)
+            loans []
+        in
+        let loans = String.concat ", " (List.rev loans) in
+        "@shared_loan({" ^ loans ^ "}, " ^ typed_value_to_string fmt v ^ ")"
+    | MutLoan bid -> "⌊mut@" ^ BorrowId.to_string bid ^ "⌋"
 end
-- 
cgit v1.2.3