Run.joint.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/run.bend as Run
Lines 196-206 of ezx@1.11.0.0/src/ws/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/run.bend&start_line=196&end_line=206

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/up.bend as U
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# what one ledger's text says: no workspace, read as it is; a workspace root,
# whose members are read and joined; or a table that cannot be read, which
# the joint ledger refuses
def joint.read(rd: W.Read, +text: String, +files: List<&2, K.Source>) -> IO(Planned):
  match rd:
    case W.Lone{}:
      IO.pure(Planned, Planned{Some{text}, U.Alone{}, []})
    case W.Bad{why}:
      IO.die(Planned, 1, why)
    case W.Root{+spec}:
      joint.go(text, spec, files)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=Planned
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=joint.go
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Read