From b975e7c149ccc790b8f975c9f8b5d491e45f399c Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Fri, 9 Jun 2023 15:27:46 +0200 Subject: [PATCH] Cleanup commented code --- compiler/catala_utils/cli.mli | 10 ---------- compiler/catala_utils/messages.ml | 7 ------- 2 files changed, 17 deletions(-) diff --git a/compiler/catala_utils/cli.mli b/compiler/catala_utils/cli.mli index cf7c8cc8..75ca7cf6 100644 --- a/compiler/catala_utils/cli.mli +++ b/compiler/catala_utils/cli.mli @@ -133,13 +133,3 @@ val catala_t : (string -> options -> 'a) -> 'a Cmdliner.Term.t val set_option_globals : options -> unit val version : string val info : Cmdliner.Cmd.info - -(**{1 Terminal formatting}*) - -(**{2 Printers}*) - -(* val concat_with_line_depending_prefix_and_suffix : - * (int -> string) -> (int -> string) -> string list -> string - * - * val add_prefix_to_each_line : string -> (int -> string) -> string - * (\** The int argument of the prefix corresponds to the line number, starting at 0 *\) *) diff --git a/compiler/catala_utils/messages.ml b/compiler/catala_utils/messages.ml index ea5c8ec2..07ec6f89 100644 --- a/compiler/catala_utils/messages.ml +++ b/compiler/catala_utils/messages.ml @@ -12,13 +12,6 @@ let color_formatter ppf = let unstyle_formatter ppf = Format.pp_set_mark_tags ppf false; ppf -(* Format.pp_set_formatter_stag_functions ppf { - * Format.mark_open_stag = (fun _ -> ""); - * mark_close_stag = (fun _ -> ""); - * print_open_stag = ignore; - * print_close_stag = ignore; - * }; - * ppf *) (* SIDE EFFECT AT MODULE LOAD: this turns on handling of tags in [Format.sprintf] etc. functions (ignoring them) *)