def src.read

ezx@1.11.0.0 · src/tool/plan.bend:135

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/ledger/manifest.bend as M

135# a project ledger that does not parse is refused
136def src.read(led: M.Read, +world: TW.World) -> Src:
137  match led:
138    case M.Bad{why}:
139      NoSrc{"ez: error: " ++ why}
140    case M.Good{m}:
141      src.pick(unpinned(m, TW.target(world)), world)