diff options
Diffstat (limited to 'stream.sml')
-rw-r--r-- | stream.sml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -73,6 +73,8 @@ structure Stream :> STREAM = struct fun create fname = createFromInstream fname (TextIO.openIn fname) + fun createFromString s = createFromInstream s (TextIO.openString s) + fun getOffset ({ off, ... }: t) = off fun isFirstOnLine ({ contents, ... }: t) off = |