diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Contexts.ml | 6 | ||||
| -rw-r--r-- | src/Print.ml | 8 |
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 |