diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-18 12:07:58 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-18 12:07:58 +0200 |
| commit | 183a4420d2f2a985dd26d76e63c2cdcaafedc5ad (patch) | |
| tree | 8fbb929bedf4196aab73a0b630bda38cd58d4cdf /tokenizer.sig | |
| parent | 5edd85474d6d8f3a0cc06cc0250ed3db8b26fcfa (diff) | |
Conditional inclusion
Diffstat (limited to 'tokenizer.sig')
| -rw-r--r-- | tokenizer.sig | 4 |
1 files changed, 2 insertions, 2 deletions
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 |