From 396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 4 Aug 2025 15:12:55 +0200 Subject: Flattening of initializers --- stream.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'stream.sml') diff --git a/stream.sml b/stream.sml index aa8d0aa..cc08d66 100644 --- a/stream.sml +++ b/stream.sml @@ -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 = -- cgit v1.2.3