def aim.place

ezx@1.11.0.0 · src/ez/target.bend:404

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

404# the place read, with only a path asked whether it is a name. A URL, a
405# `git@host:path` and an `owner/repo` are never read again, so nothing that
406# was a remote becomes a name.
407def aim.place(place: Place, +text: String) -> Aim:
408  match place:
409    case Bad{why}:
410      Placed{Bad{why}}
411    case Local{path}:
412      aim.local(K.name.ok(text), text, path)
413    case Remote{url, slug}:
414      Placed{Remote{url, slug}}