def tell

ezx@1.11.0.0 · src/tool/run.bend:217

import Base

217# the lines a person is told, each on stderr
218def tell(ls: List<&2, String>) -> IO(Unit):
219  match ls:
220    case []:
221      IO.pure(Unit, Unit{})
222    case h <> t:
223      do IO<Unit>:
224        IO.print_err(h)
225        tell(t)