summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-05-19 00:22:16 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-05-19 00:22:16 +0200
commit88378509521b46e615986f8c82d10b9da88830d2 (patch)
tree0480d743fba058f394fe314508a17865853ffdd4 /stream.sig
parentbe407d29db4f2ac1018ab6841c7111f95b977948 (diff)
Better debug info
Diffstat (limited to 'stream.sig')
-rw-r--r--stream.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/stream.sig b/stream.sig
index 7e0f45b..2f2c834 100644
--- a/stream.sig
+++ b/stream.sig
@@ -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