[pp] Remove special tag type and handler from Pp.

For legacy reasons, pretty printing required to provide a "tag"
interpretation function `pp_tag`. However such function was not of much
use as the backends (richpp and terminal) hooked at the `Format.tag`
level.

We thus remove this unused indirection layer and annotate expressions
with their `Format` tags.

This is a step towards moving the last bit of terminal code out of the
core system.

1 files changed, 0 insertions, 11 deletions

diff --git a/lib/ppstyle.mli b/lib/ppstyle.mli
index b9422f7cf7..2690d3910a 100644
--- a/lib/ppstyle.mli
+++ b/lib/ppstyle.mli
@@ -14,28 +14,17 @@
 (** This API is provisional and will likely be refined. *)
 type t = Pp.pp_tag
 
-val to_format : t -> Format.tag
-val of_format : Format.tag -> t
-
 (** Style tags *)
 
 val make : ?style:Terminal.style -> string list -> t
 (** Create a new tag with the given name. Each name must be unique. The optional
     style is taken as the default one. *)
 
-val repr : t -> string list
-(** Gives back the original name of the style tag where each string has been
-    concatenated and separated with a dot. *)
-
 (** {5 Manipulating global styles} *)
 
 val get_style : t -> Terminal.style option
-(** Get the style associated to a tag. *)
-
-val get_style_format : Format.tag -> Terminal.style option
 (** Get the style associated to a tag from a format tag. *)
 
-
 val set_style : t -> Terminal.style option -> unit
 (** Set a style associated to a tag. *)