~/jendhub

def decide.led

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

import ezx@1.11.0.0/src/tool/plan.bend as Plan
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

934# a checkout ledger that does not parse is refused
935def decide.led(parsed: M.Read, +world: TW.World) -> Verdict:
936  match parsed:
937    case M.Bad{why}:
938      Stop{"ez: error: " ++ why}
939    case M.Good{_m}:
940      decide.name(name.ok(name.raw(world)), world)

Uses (7)

Used by (1)