def tool.same
ezx@1.11.0.0 · src/lock/up.bend:1011
import ezx@1.11.0.0/src/lock/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
1011def tool.same(same: Bool, +rs: List<&2, Reply>, +tool: M.Tool, +tip: String, +tag: String, +branch: String) -> Pinned:
1012 match same:
1013 case True{}:
1014 +src = M.tool.source(tool)
1015 tool.kept(weighed(rs, Weigh{M.source.url(src), M.source.rev(src)}), rs, tool, tip, tag)
1016 case False{}:
1017 +src = M.tool.source(tool)
1018 tool.onward(onward(rs, Above{M.source.url(src), M.source.rev(src), tip}), rs, tool, tip, tag, branch)