def ref.found

ezx@1.11.0.0 · src/ws/run.bend:320

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/root.bend as R
import ezx@1.11.0.0/src/ws/pin.bend as Pin
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/pkg/path.bend as P

320# the ref an add goes on with, in what the search found
321def ref.found(+top: String, found: R.Found, +home: String, +target: String, +ref: String) -> IO(String):
322  match found:
323    case R.Within{+root, +rel}:
324      do IO<String>:
325        +pins : List<&2, M.Dep> <- pins.at(P.join(top, W.segs.text(root)))
326        ref.held(Pin.ref(pins, W.segs.text(rel), home, target, ref))
327    case _:
328      IO.pure(String, ref)