def joint.listed

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

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J
import ezx@1.11.0.0/src/pkg/pkg.bend as K

171# a workspace root's ledger joined with every member's, once git listed them
172def joint.listed(
173  ok: Bool,
174  +text: String,
175  +spec: W.Spec,
176  +out: String,
177  +files: List<&2, K.Source>
178) -> IO(Planned):
179  match ok:
180    case True{}:
181      do IO<Planned>:
182        +fs : List<&2, J.Found> <- read.found(lines(String.lines(out)))
183        lk : Maybe<&2, String> <- F.read("ez.lock.toml")
184        joint.at(J.joint(text, fs, files), text, spec, fs, files, F.text_of(lk))
185    case False{}:
186      IO.die(Planned, 1,
187        "ez: a workspace is locked from the ez.toml files git tracks, and git could not list them: " ++
188          String.trim(out))