def dep.advance

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

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

661# the checkout at the rev the pin advances to, then the hub asked about the
662# hash it has. The hub a moved hash is checked against is the ledger's.
663def dep.advance(co: Co, +rs: List<&2, Reply>, +hub: String, +dep: M.Dep, +rev: String, +branch: String) -> Fate:
664  match co:
665    case Co{nar, root, +manifest, srcs}:
666      +hash = hash.of(manifest)
667      dep.hub(hubbed(rs, HubHas{hub, hash}), dep, hash, rev, root, nar, manifest, srcs,
668        branch)
669    case CoWait{ask}:
670      Waits{[ask]}
671    case CoNo{why}:
672      Halts{why}