[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, 3 insertions, 10 deletions

diff --git a/lib/ppstyle.ml b/lib/ppstyle.ml
index 298e3be6b3..6969c3d5cb 100644
--- a/lib/ppstyle.ml
+++ b/lib/ppstyle.ml
@@ -19,27 +19,20 @@ let make ?style tag =
   let name = to_format tag                          in
   let () = assert (not (String.Map.mem name !tags)) in
   let () = tags := String.Map.add name style !tags  in
-  tag
-
-let repr t = t
+  name
 
 let get_style tag =
-  try String.Map.find (to_format tag) !tags
-  with Not_found -> assert false
-
-let get_style_format tag =
   try String.Map.find tag !tags
   with Not_found -> assert false
 
 let set_style tag st =
-  try tags := String.Map.update (to_format tag) st !tags
+  try tags := String.Map.update tag st !tags
   with Not_found -> assert false
 
 let clear_styles () =
   tags := String.Map.map (fun _ -> None) !tags
 
-let dump () =
-  List.map (fun (s,b) -> (String.split '.' s, b)) (String.Map.bindings !tags)
+let dump () = String.Map.bindings !tags
 
 let parse_config s =
   let styles = Terminal.parse s in