summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/Contexts.ml6
-rw-r--r--src/Print.ml8
2 files changed, 6 insertions, 8 deletions
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