From 5b9e24c7ddcd53bc5c1a71a6efb6eecff757e151 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 11:56:28 +0100
Subject: Update aproj to make AEndedProjLoans take an `aproj option` and add
 the AIgnoredProjBorrows variant

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

(limited to 'src/Print.ml')

diff --git a/src/Print.ml b/src/Print.ml
index d7830549..d4f051f9 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -307,7 +307,7 @@ module Values = struct
     ^ String.concat "," (List.map (abstract_shared_borrow_to_string fmt) abs)
     ^ "}"
 
-  let aproj_to_string (fmt : value_formatter) (pv : V.aproj) : string =
+  let rec aproj_to_string (fmt : value_formatter) (pv : V.aproj) : string =
     match pv with
     | AProjLoans sv ->
         "proj_loans ("
@@ -315,8 +315,12 @@ module Values = struct
         ^ ")"
     | AProjBorrows (sv, rty) ->
         "proj_borrows (" ^ symbolic_value_proj_to_string fmt sv rty ^ ")"
-    | AEndedProjLoans -> "ended_proj_loans"
+    | AEndedProjLoans aproj_opt ->
+        "ended_proj_loans ("
+        ^ option_to_string (aproj_to_string fmt) aproj_opt
+        ^ ")"
     | AEndedProjBorrows -> "ended_proj_borrows"
+    | AIgnoredProjBorrows -> "_"
 
   let rec typed_avalue_to_string (fmt : value_formatter) (v : V.typed_avalue) :
       string =
-- 
cgit v1.2.3