From cab3a7959a156975ef8de413f1aa3da653b7c118 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 29 Apr 2012 16:33:49 -0400 Subject: [PATCH] Stringstream flush and flush_before. --- stringstream.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/stringstream.ml b/stringstream.ml index 6b101d7..917c764 100644 --- a/stringstream.ml +++ b/stringstream.ml @@ -25,6 +25,9 @@ let empty = Stream (fun () -> None) let const v = Stream (fun () -> Some (v, false, empty)) let const_flush v = Stream (fun () -> Some (v, true, empty)) +let flush_before s = Stream (fun () -> Some ("", true, s)) +let flush = flush_before empty + let rec seq s1 s2 = Stream (fun () -> match run s1 with