From 5edd85474d6d8f3a0cc06cc0250ed3db8b26fcfa Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Sat, 17 May 2025 14:45:50 +0200
Subject: Function-like macros

---
 tokenizer.sig | 30 ++++++++++++++----------------
 1 file changed, 14 insertions(+), 16 deletions(-)

(limited to 'tokenizer.sig')

diff --git a/tokenizer.sig b/tokenizer.sig
index f79e62a..53a9f17 100644
--- a/tokenizer.sig
+++ b/tokenizer.sig
@@ -111,27 +111,25 @@ signature TOKENIZER = sig
 
     CommentStart |
 
-    CppInclude |
-    CppDefine |
-    CppUndef |
-    CppIf |
-    CppIfdef |
-    CppIfndef |
-    CppElse |
-    CppElif |
-    CppEndif |
-    CppWarning |
-    CppError |
-    CppPragma
+    PpcInclude |
+    PpcDefine |
+    PpcUndef |
+    PpcIf |
+    PpcIfdef |
+    PpcIfndef |
+    PpcElse |
+    PpcElif |
+    PpcEndif |
+    PpcWarning |
+    PpcError |
+    PpcPragma
 
   (* Fatal. both may be thrown by tokenize *)
   exception FsmTableIsTooSmall
   exception TkErrorAug of S.pos * string
 
   val getToken: S.t -> token * S.pos * S.t
+  val Ptoken: (token, 'a, 'b) a1printer
 
-  val token2str: token -> string
-  val printToken: token -> unit
-
-  val debugPrint: (token * S.pos) list -> string -> unit
+  val debugPrint: string -> unit
 end
-- 
cgit v1.2.3