From d23544de39c515e63483067692353933c234f8cb Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Wed, 28 Aug 2024 14:00:07 +0200 Subject: [PATCH] Apply suggestions from code review Fix typos following review Thanks @vincent-botbol Co-authored-by: vbot --- compiler/lcalc/to_ocaml.ml | 1 - compiler/shared_ast/expr.mli | 6 +++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/compiler/lcalc/to_ocaml.ml b/compiler/lcalc/to_ocaml.ml index c09efc97..3a2199fd 100644 --- a/compiler/lcalc/to_ocaml.ml +++ b/compiler/lcalc/to_ocaml.ml @@ -745,7 +745,6 @@ let format_program | Enum e -> Enum (Expr.Renaming.enum_name ren_ctx e)) type_ordering in - (* Print.program fmt p; *) Format.pp_open_vbox fmt 0; Format.pp_print_string fmt header; check_and_reexport_used_modules fmt ~hashf diff --git a/compiler/shared_ast/expr.mli b/compiler/shared_ast/expr.mli index ddf85038..71c15325 100644 --- a/compiler/shared_ast/expr.mli +++ b/compiler/shared_ast/expr.mli @@ -399,9 +399,9 @@ module Renaming : sig type config = { reserved : string list; (** Use for keywords and built-ins *) sanitize_varname : string -> string; (** Typically String.to_snake_case *) - reset_context_for_closed_terms : bool; (** See [Bindlib.Rename] *) - skip_constant_binders : bool; (** See [Bindlib.Rename] *) - constant_binder_name : string option; (** See [Bindlib.Rename] *) + reset_context_for_closed_terms : bool; (** See [Bindlib.Renaming] *) + skip_constant_binders : bool; (** See [Bindlib.Renaming] *) + constant_binder_name : string option; (** See [Bindlib.Renaming] *) } type context