diff options
Diffstat (limited to 'tokenizer.sig')
| -rw-r--r-- | tokenizer.sig | 30 |
1 files changed, 14 insertions, 16 deletions
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 |