def tool.weighed

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

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

879# a commit weighed, then written into the pin
880def tool.weighed(wd: Wd, +tool: M.Tool, +rev: String, +tag: String, says: List<&2, String>) -> Pinned:
881  match wd:
882    case Wd{+nar}:
883      tool.pin(Bool.or(String.is_empty(rev), String.is_empty(nar)), tool, rev, tag, nar, says)
884    case WdWait{ask}:
885      PinWait{[ask]}
886    case WdNo{why}:
887      PinHalt{why}