From a0be166ef23e1b34b09060b99c03cdadb6ac2132 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Tue, 25 Mar 2025 00:24:52 +0100
Subject: Escape sequences

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

(limited to 'stream.sig')

diff --git a/stream.sig b/stream.sig
index febd4b7..c09b7c1 100644
--- a/stream.sig
+++ b/stream.sig
@@ -7,7 +7,7 @@ signature STREAM = sig
   type t
   type fileInfo
 
-  val recycle: t -> fileInfo
+  val convert: t -> fileInfo
 
   val ppos2str: ppos -> string
   val printPos: fileInfo -> pos -> unit
@@ -18,10 +18,9 @@ signature STREAM = sig
    * Can be always avoided, so is not provided in sig file *)
   val ungetc: t -> t
 
-  val getOffset: t -> fileOffset
   val getPos: t -> pos
   val getPosAfterCharRead: t -> pos
-  val getPposFromPos: pos -> t -> ppos
+  val pos2ppos: pos -> t -> ppos
 
   (* Assumed to be called once for given pos, so will throw Unreachable on
    * second call *)
-- 
cgit v1.2.3