summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-06 23:22:30 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-06 23:22:30 +0200
commit8e2dc7712de206b87e1c46df9383c3fa1e18a43a (patch)
treeee2f199b35eb4374e5638f1c8506d5a6c9a88d4e /stream.sig
parent9d724f17e813fa344d485329d33b5f5ecf8197a3 (diff)
Debug print preprocessor function
Diffstat (limited to 'stream.sig')
-rw-r--r--stream.sig7
1 files changed, 6 insertions, 1 deletions
diff --git a/stream.sig b/stream.sig
index 2bdb155..e3c63d9 100644
--- a/stream.sig
+++ b/stream.sig
@@ -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