Apply suggestions from code review

Fix typos following review Thanks @vincent-botbol Co-authored-by: vbot <[email protected]>
CatalaLang · Aug 28, 2024 · d23544d · d23544d
1 parent 8b06511
commit d23544d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git 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
@@ -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