From 183a4420d2f2a985dd26d76e63c2cdcaafedc5ad Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Sun, 18 May 2025 12:07:58 +0200
Subject: Conditional inclusion

---
 tokenizer.sig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tokenizer.sig')

diff --git a/tokenizer.sig b/tokenizer.sig
index 53a9f17..a0f5127 100644
--- a/tokenizer.sig
+++ b/tokenizer.sig
@@ -13,7 +13,6 @@ signature TOKENIZER = sig
     Invalid |
     EOS |
     NewLine |
-    MacroStart of string |
     MacroEnd of string |
 
     Num of numConst |
@@ -111,7 +110,7 @@ signature TOKENIZER = sig
 
     CommentStart |
 
-    PpcInclude |
+    PpcInclude of string * string |
     PpcDefine |
     PpcUndef |
     PpcIf |
@@ -131,5 +130,6 @@ signature TOKENIZER = sig
   val getToken: S.t -> token * S.pos * S.t
   val Ptoken: (token, 'a, 'b) a1printer
 
+  val isPpcDir: token -> bool
   val debugPrint: string -> unit
 end
-- 
cgit v1.2.3