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