def tool.short

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

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

1055# a selected pin with no commit or no NAR hash is filled; a full one is asked
1056# whether it moved
1057def tool.short(short: Bool, +rs: List<&2, Reply>, +tool: M.Tool) -> Pinned:
1058  match short:
1059    case True{}:
1060      tool.fill(String.is_empty(M.source.rev(M.tool.source(tool))), rs, tool)
1061    case False{}:
1062      tool.aim(U.aim(True{}, M.tool.source(tool)), rs, tool)