Stringstream flush and flush_before.

This commit is contained in:
Tony Garnock-Jones 2012-04-29 16:33:49 -04:00
parent e8a89b0818
commit cab3a7959a
1 changed files with 3 additions and 0 deletions

View File

@ -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