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)

Uses (14)

Used by (1)