Up.tool.fill: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 1040-1053 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=1040&end_line=1053

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

# a pin with no commit is resolved from its tag, or the default ref, then
# weighed. One with a commit and no NAR hash is upgraded as a full pin is,
# and its NAR hash is written in wherever it lands: filled at its own commit
# only, it would move on the next upgrade, which follows its tag or the
# default branch.
def tool.fill(no_rev: Bool, +rs: List<&2, Reply>, +tool: M.Tool) -> Pinned:
  match no_rev:
    case True{}:
      +src = M.tool.source(tool)
      +url = M.source.url(src)
      tool.named(tool.ref(String.is_empty(M.source.tag(src)), rs, url,
        M.source.tag(src)), rs, tool, url)
    case False{}:
      tool.aim(U.aim(True{}, M.tool.source(tool)), rs, tool)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Tool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.tag
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.url
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=tool.source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/upgrade.bend&name=aim
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Pinned
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=tool.aim
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=tool.named
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=tool.ref