From 8e2dc7712de206b87e1c46df9383c3fa1e18a43a Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 6 Apr 2025 23:22:30 +0200 Subject: Debug print preprocessor function --- stream.sig | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'stream.sig') 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 -- cgit v1.2.3