diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-19 00:22:16 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-05-19 00:22:16 +0200 |
commit | 88378509521b46e615986f8c82d10b9da88830d2 (patch) | |
tree | 0480d743fba058f394fe314508a17865853ffdd4 /stream.sig | |
parent | be407d29db4f2ac1018ab6841c7111f95b977948 (diff) |
Better debug info
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -11,7 +11,6 @@ signature STREAM = sig val Ppos: (pos, 'a, 'b) a1printer val getchar: t -> char option * t - val getcharEx: t -> char * t (* throws EOF *) (* Will throw UngetcError, if applied at the beginning of the stream. * Can be always avoided, so is not provided in sig file *) @@ -28,6 +27,7 @@ signature STREAM = sig val createFromInstream: string -> TextIO.instream -> t val getOffset: t -> fileOffset + val isFirstOnLine: t -> fileOffset -> bool val getPosRaw: fileOffset -> t -> pos * t val getPos: t -> pos * t val getPosAfterChar: t -> pos * t |