def tool.aim

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

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

1030# a full pin, re-asked: its tag re-resolved, or the default branch followed
1031def tool.aim(aim: U.Aim, +rs: List<&2, Reply>, +tool: M.Tool) -> Pinned:
1032  match aim:
1033    case U.Hold{}:
1034      Pinned{tool, False{}, []}
1035    case U.Follow{ref}:
1036      tool.tip(follow(rs, M.source.url(M.tool.source(tool)), ref), rs, tool)
1037    case U.Forward{}:
1038      tool.tip(forward(rs, M.source.url(M.tool.source(tool))), rs, tool)