diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-06 23:22:30 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-06 23:22:30 +0200 |
commit | 8e2dc7712de206b87e1c46df9383c3fa1e18a43a (patch) | |
tree | ee2f199b35eb4374e5638f1c8506d5a6c9a88d4e /stream.sig | |
parent | 9d724f17e813fa344d485329d33b5f5ecf8197a3 (diff) |
Debug print preprocessor function
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 |