diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-11 21:54:16 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-11 21:54:16 +0200 |
commit | e99a8dc48ede26696be2ba75a8cb0d5122d94598 (patch) | |
tree | c3dcd1d6a9b96aaedd081f13b9dc7e7d6c07e2bd /stream.sig | |
parent | 8e2dc7712de206b87e1c46df9383c3fa1e18a43a (diff) |
#include directive
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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 |