From e99a8dc48ede26696be2ba75a8cb0d5122d94598 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 11 Apr 2025 21:54:16 +0200 Subject: #include directive --- stream.sig | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'stream.sig') diff --git a/stream.sig b/stream.sig index e3c63d9..1307a60 100644 --- a/stream.sig +++ b/stream.sig @@ -32,13 +32,18 @@ signature STREAM = sig val pposWithoutCol: ppos -> ppos val getSubstr: fileOffset -> fileOffset -> t -> string + val getFname: t -> string val isFirstOnLine: pos -> t -> bool - (* throws IO.Io *) + (* both throw IO.Io *) val create: string -> t + val createFromInstream: string -> TextIO.instream -> t val pposCacheInit: fileInfo -> pposCache - val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache + + val pposCacheGetId: pposCache -> fileId val pposCacheGetLine: pposCache -> int val pposCacheGetFname: pposCache -> string + + val pposCacheAdvance: pos -> pposCache -> (int * int) * pposCache end -- cgit v1.2.3