def read.more

ezsys@0.1.0.0 · src/step.bend:20

import Base

20# a chunk that is empty ends the file; any other is appended
21def read.more(empty: Bool, text: String, got: String) -> Read:
22  match empty:
23    case True{}:
24      ReadStop{Done{got}}
25    case False{}:
26      ReadMore{got ++ text}