def tool.resolved

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

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

889# the commit a ref named, weighed. The pin records the ref as its tag, even
890# one that names a commit, so the next upgrade asks about the same ref.
891def tool.resolved(tip: Tip, +rs: List<&2, Reply>, +tool: M.Tool, +ref: String) -> Pinned:
892  match tip:
893    case At{+rev, _tag, _branch}:
894      tool.weighed(weighed(rs, Weigh{M.source.url(M.tool.source(tool)), rev}), tool, rev, ref, [])
895    case TipWait{ask}:
896      PinWait{[ask]}
897    case TipNo{why}:
898      PinHalt{why}