From 81a548829f44341fe24668d85176be2d7fcbf52c Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Tue, 23 Jan 2018 15:05:53 +0100 Subject: [PATCH] Proto environment: Remove deprecated format functions --- .../sigs/v1/format.mli | 35 ++----------------- 1 file changed, 3 insertions(+), 32 deletions(-) diff --git a/src/lib_protocol_environment/sigs/v1/format.mli b/src/lib_protocol_environment/sigs/v1/format.mli index ca6d447ee..bcef53abc 100644 --- a/src/lib_protocol_environment/sigs/v1/format.mli +++ b/src/lib_protocol_environment/sigs/v1/format.mli @@ -19,6 +19,9 @@ * Remove channel functions * Remove toplevel effect based functions * Remove deprecated functions + * Remove pp_set/get_formatter_out_functions and + the formatter_out_functions type (removed upstream) + * Remove pp_flush_formatter (removed upstream) *) @@ -87,20 +90,6 @@ type tag = string -(** {6:meaning Changing the meaning of standard formatter pretty printing} *) - -(** The [Format] module is versatile enough to let you completely redefine - the meaning of pretty printing: you may provide your own functions to define - how to handle indentation, line splitting, and even printing of all the - characters that have to be printed! *) - -type formatter_out_functions = { - out_string : string -> int -> int -> unit; - out_flush : unit -> unit; - out_newline : unit -> unit; - out_spaces : int -> unit; -} - (** {6:tagsmeaning Changing the meaning of printing semantic tags} *) type formatter_tag_functions = { @@ -199,24 +188,6 @@ val pp_set_formatter_tag_functions : val pp_get_formatter_tag_functions : formatter -> unit -> formatter_tag_functions -val pp_set_formatter_out_functions : - formatter -> formatter_out_functions -> unit - -val pp_get_formatter_out_functions : - formatter -> unit -> formatter_out_functions -(** These functions are the basic ones: usual functions - operating on the standard formatter are defined via partial - evaluation of these primitives. For instance, - [print_string] is equal to [pp_print_string std_formatter]. *) - -val pp_flush_formatter : formatter -> unit -(** [pp_flush_formatter fmt] flushes [fmt]'s internal queue, ensuring that all - the printing and flushing actions have been performed. In addition, this - operation will close all boxes and reset the state of the formatter. - - This will not flush [fmt]'s output. In most cases, the user may want to use - {!pp_print_flush} instead. *) - (** {6 Convenience formatting functions.} *) val pp_print_list: