diff options
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 |