From 7f56dfb365e58f8dbb1db99faecec2a126bab0e5 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 7 Nov 2014 18:58:18 +0100
Subject: Plug the dynamic tags in the Richpp mechanism.

---
 printing/ppconstr.ml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'printing/ppconstr.ml')

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 9ee81b278e..1481ea191e 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -812,15 +812,13 @@ include Make (struct
     let tag_constr_expr = do_not_tag
 end)
 
-module Richpp (Indexer : sig
-  val index : Ppannotation.t -> string
-end) = struct
+module Richpp = struct
 
   include Make (struct
     open Ppannotation
-    let tag_keyword       = Pp.tag (Indexer.index AKeyword)
-    let tag_unparsing unp = Pp.tag (Indexer.index (AUnparsing unp))
-    let tag_constr_expr e = Pp.tag (Indexer.index (AConstrExpr e))
+    let tag_keyword       = Pp.tag (Pp.Tag.inj AKeyword tag)
+    let tag_unparsing unp = Pp.tag (Pp.Tag.inj (AUnparsing unp) tag)
+    let tag_constr_expr e = Pp.tag (Pp.Tag.inj (AConstrExpr e) tag)
   end)
 
 end
-- 
cgit v1.2.3