def name.open

ezx@1.11.0.0 · src/lock/plan.bend:1259

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/pkg/pkg.bend as K

1259# whether a name is still to be resolved: the hub rules it in, the table does
1260# not resolve it, the project does not import it (that one ez.toml must
1261# record, and the lock refuses it), and nothing has answered for it yet
1262def name.open(+ns: List<&2, L.Name>, +js: List<&2, W.Judged>, +roots: List<&2, String>, +nv: String) -> Bool:
1263  Bool.and(K.name.ok(nv), Bool.and(String.is_empty(L.name.find(ns, nv)),
1264    Bool.and(Bool.not(L.seen.holds(roots, nv)), is.absent(look(js, nv)))))