def early

ezx@1.11.0.0 · src/add/plan.bend:329

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/ez/named.bend as Named

329# why the name is refused before anything is asked, "" when it is not. A
330# `--rename` that is no key is always refused here, and a clash only when
331# the ledger alone decides the name; one that turns on the checkout's
332# `[package] name` is decided after the walk.
333def early(+world: A.World) -> String:
334  Bool.pick(String, decided(world),
335    Named.why.as(A.deps(world),
336      Named.as(A.deps(world), A.url(world), A.rename(world), "", A.fresh(world)),
337      A.url(world), A.rename(world)),
338    "")