diff options
Diffstat (limited to 'stream.sig')
| -rw-r--r-- | stream.sig | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -3,6 +3,7 @@ signature STREAM = sig type fileOffset = int type pos = fileId * fileOffset type ppos (* pretty pos *) + type pposCache type t type fileInfo = fileId * string * string @@ -10,7 +11,6 @@ signature STREAM = sig val convert: t -> fileInfo val ppos2str: ppos -> string - val printPos: fileInfo -> pos -> unit val getchar: t -> char option * t @@ -36,4 +36,9 @@ signature STREAM = sig (* throws IO.Io *) val create: string -> t + + val pposCacheInit: fileInfo -> pposCache + val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache + val pposCacheGetLine: pposCache -> int + val pposCacheGetFname: pposCache -> string end |