From f9feec825b58846695ca3bc84a2aa72f271f1b41 Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Tue, 23 Jan 2018 16:47:03 +0100 Subject: [PATCH] Proto environment: A bit more cleaning of Format --- .../sigs/v1/format.mli | 32 +++---------------- 1 file changed, 4 insertions(+), 28 deletions(-) diff --git a/src/lib_protocol_environment/sigs/v1/format.mli b/src/lib_protocol_environment/sigs/v1/format.mli index bcef53abc..5d6042e13 100644 --- a/src/lib_protocol_environment/sigs/v1/format.mli +++ b/src/lib_protocol_environment/sigs/v1/format.mli @@ -22,7 +22,10 @@ * Remove pp_set/get_formatter_out_functions and the formatter_out_functions type (removed upstream) * Remove pp_flush_formatter (removed upstream) - + * Remove formatter_tag functions (too complex and imperative + for the need of error message generation) + * Remov pp_set_formatter_output_functions and + pp_get_formatter_output_functions *) (** Pretty printing. @@ -90,21 +93,6 @@ type tag = string -(** {6:tagsmeaning Changing the meaning of printing semantic tags} *) - -type formatter_tag_functions = { - mark_open_tag : tag -> string; - mark_close_tag : tag -> string; - print_open_tag : tag -> unit; - print_close_tag : tag -> unit; -} -(** The tag handling functions specific to a formatter: - [mark] versions are the 'tag marking' functions that associate a string - marker to a tag in order for the pretty-printing engine to flush - those markers as 0 length tokens in the output device of the formatter. - [print] versions are the 'tag printing' functions that can perform - regular printing when a tag is closed or opened. *) - (** {6 Multiple formatted output} *) type formatter @@ -176,18 +164,6 @@ val pp_over_max_boxes : formatter -> unit -> bool val pp_set_ellipsis_text : formatter -> string -> unit val pp_get_ellipsis_text : formatter -> unit -> string -val pp_set_formatter_output_functions : - formatter -> (string -> int -> int -> unit) -> (unit -> unit) -> unit - -val pp_get_formatter_output_functions : - formatter -> unit -> (string -> int -> int -> unit) * (unit -> unit) - -val pp_set_formatter_tag_functions : - formatter -> formatter_tag_functions -> unit - -val pp_get_formatter_tag_functions : - formatter -> unit -> formatter_tag_functions - (** {6 Convenience formatting functions.} *) val pp_print_list: