diff options
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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 *) |