diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-26 21:06:51 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-26 21:06:51 +0200 |
| commit | 3a32398248e5593b1b536c837478cab276f7aebf (patch) | |
| tree | 55ff4004a06278c84908668c26d39d0fc3098a08 /stream.sig | |
| parent | 6f3fa80b37ca5f8d992f5d6f66aee77ead303bf4 (diff) | |
Simpler tokenizer
Diffstat (limited to 'stream.sig')
| -rw-r--r-- | stream.sig | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -10,7 +10,7 @@ signature STREAM = sig val Ppos: (pos, 'a, 'b, 'c) a1printer - val getchar: t -> char option * t + val getchar: t -> char * t (* Will throw UngetcError, if applied at the beginning of the stream. * Can be always avoided, so is not provided in sig file *) @@ -30,5 +30,6 @@ signature STREAM = sig val isFirstOnLine: t -> fileOffset -> bool val getPosRaw: fileOffset -> t -> pos * t val getPos: t -> pos * t + val getPosDisc: t -> pos val getPosAfterChar: t -> pos * t end |