summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
Diffstat (limited to 'stream.sig')
-rw-r--r--stream.sig5
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 *)