def dep.onward

ezx@1.11.0.0 · src/lock/up.bend:714

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

714# a different commit, once ancestry is known. The commit moved, so no
715# checkout at the pin was weighed and none agrees with it.
716def dep.onward(
717  asc: Asc,
718  +rs: List<&2, Reply>,
719  +hub: String,
720  +dep: M.Dep,
721  +tip: String,
722  +tag: String,
723  +branch: String
724) -> Fate:
725  match asc:
726    case Asc{yes}:
727      dep.verdict(U.judge(False{}, yes, False{}, tip, tag), rs, hub, dep, tip,
728        branch, "")
729    case AscWait{ask}:
730      Waits{[ask]}
731    case AscNo{why}:
732      Halts{why}