Escape sequences

1 files changed, 2 insertions, 3 deletions

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 *)