From d2eee3394425ad95f8085b4eeb1ec4267800f9fd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jan 2022 11:42:39 +0100
Subject: Cleanup a bit to remove warnings

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

(limited to 'src')

diff --git a/src/Contexts.ml b/src/Contexts.ml
index 001ebf19..7b9187bf 100644
--- a/src/Contexts.ml
+++ b/src/Contexts.ml
@@ -192,7 +192,7 @@ class ['self] iter_frame =
     inherit [_] V.iter_abs
 
     method visit_Var : 'acc -> binder -> typed_value -> unit =
-      fun acc vid v -> self#visit_typed_value acc v
+      fun acc _vid v -> self#visit_typed_value acc v
 
     method visit_Abs : 'acc -> abs -> unit =
       fun acc abs -> self#visit_abs acc abs
@@ -247,7 +247,7 @@ class ['self] map_frame_concrete =
 
 (** Visitor to iterate over the values in a context *)
 class ['self] iter_eval_ctx =
-  object (self : 'self)
+  object (_self : 'self)
     inherit [_] iter_env as super
 
     method visit_eval_ctx : 'acc -> eval_ctx -> unit =
@@ -256,7 +256,7 @@ class ['self] iter_eval_ctx =
 
 (** Visitor to map the values in a context *)
 class ['self] map_eval_ctx =
-  object (self : 'self)
+  object (_self : 'self)
     inherit [_] map_env as super
 
     method visit_eval_ctx : 'acc -> eval_ctx -> eval_ctx =
diff --git a/src/Print.ml b/src/Print.ml
index cdb74446..16d6bac3 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -297,14 +297,14 @@ module Values = struct
         "@shared_loan(" ^ loans ^ ", " ^ typed_value_to_string fmt v ^ ")"
     | MutLoan bid -> "⌊mut@" ^ V.BorrowId.to_string bid ^ "⌋"
 
-  let rec abstract_shared_borrow_to_string (fmt : value_formatter)
+  let abstract_shared_borrow_to_string (fmt : value_formatter)
       (abs : V.abstract_shared_borrow) : string =
     match abs with
     | AsbBorrow bid -> V.BorrowId.to_string bid
     | AsbProjReborrows (sv, rty) ->
         "{" ^ symbolic_value_proj_to_string fmt sv rty ^ "}"
 
-  let rec abstract_shared_borrows_to_string (fmt : value_formatter)
+  let abstract_shared_borrows_to_string (fmt : value_formatter)
       (abs : V.abstract_shared_borrows) : string =
     "{"
     ^ String.concat "," (List.map (abstract_shared_borrow_to_string fmt) abs)
@@ -486,7 +486,7 @@ module Contexts = struct
 
   let eval_ctx_to_ctx_formatter (ctx : C.eval_ctx) : ctx_formatter =
     (* We shouldn't use rvar_to_string *)
-    let rvar_to_string r = failwith "Unexpected use of rvar_to_string" in
+    let rvar_to_string _r = failwith "Unexpected use of rvar_to_string" in
     let r_to_string r = PT.region_id_to_string r in
 
     let type_var_id_to_string vid =
@@ -821,8 +821,6 @@ module CfimAst = struct
 
   let fun_def_to_string (fmt : ast_formatter) (indent : string)
       (indent_incr : string) (def : A.fun_def) : string =
-    let rty_fmt = ast_to_rtype_formatter fmt in
-    let rty_to_string = PT.rty_to_string rty_fmt in
     let sty_fmt = ast_to_stype_formatter fmt in
     let sty_to_string = PT.sty_to_string sty_fmt in
     let ety_fmt = ast_to_etype_formatter fmt in
-- 
cgit v1.2.3