def dep.same

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

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

734# the same commit is checked out to be weighed; a different one is asked
735# whether it descends from the pin
736def dep.same(
737  same: Bool,
738  +rs: List<&2, Reply>,
739  +hub: String,
740  +dep: M.Dep,
741  +tip: String,
742  +tag: String,
743  +branch: String
744) -> Fate:
745  match same:
746    case True{}:
747      +src = M.source.dep(dep)
748      dep.kept(checkout(rs, Tree{M.source.url(src), M.source.rev(src), M.dep.entry(dep)}), rs, hub, dep, tip, tag)
749    case False{}:
750      +src = M.source.dep(dep)
751      dep.onward(onward(rs, Above{M.source.url(src), M.source.rev(src), tip}), rs, hub, dep, tip, tag, branch)