def listing.listed

ezx@1.11.0.0 · src/ws/run.bend:356

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW

356# the `.bend` files git lists under a directory, once it listed them
357def listing.listed(ok: Bool, +dir: String, +out: String) -> IO(LW.Listing):
358  match ok:
359    case True{}:
360      do IO<LW.Listing>:
361        fs : List<&2, LW.Source> <- sources.under(dir, lines(String.lines(out)))
362        return LW.Listed{fs}
363    case False{}:
364      IO.pure(LW.Listing, LW.Unlisted{
365        "ez: ez lock reads the .bend files git tracks, and git could not list them: " ++ String.trim(out)})