From 3a32398248e5593b1b536c837478cab276f7aebf Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 26 May 2025 21:06:51 +0200
Subject: Simpler tokenizer

---
 stream.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'stream.sig')

diff --git a/stream.sig b/stream.sig
index 4426e62..22d7a31 100644
--- a/stream.sig
+++ b/stream.sig
@@ -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
-- 
cgit v1.2.3