From 9d724f17e813fa344d485329d33b5f5ecf8197a3 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 4 Apr 2025 20:53:56 +0200 Subject: Functorization --- tokenizer.sig | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'tokenizer.sig') diff --git a/tokenizer.sig b/tokenizer.sig index 245cfbe..c9626e0 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -1,4 +1,6 @@ signature TOKENIZER = sig + structure S: STREAM + datatype intType = ItDec | ItOct | ItHex datatype intSfx = IsNone | IsU | IsL | IsUL | IsLL | IsULL datatype floatSfx = FsNone | FsF | FsL @@ -116,15 +118,15 @@ signature TOKENIZER = sig CppError | CppPragma - type fullToken = Stream.pos * token + type fullToken = S.pos * token (* Fatal. both may be thrown by tokenize *) exception FsmTableIsTooSmall - exception TkErrorAug of Stream.ppos * string + exception TkErrorAug of S.ppos * string - val getToken: Stream.t -> fullToken option * Stream.t + val getToken: S.t -> fullToken option * S.t - val tokenize: Stream.t -> fullToken list + val tokenize: S.t -> fullToken list val token2str: token -> string val printToken: token -> unit -- cgit v1.2.3