def early

ezx@1.11.0.0 · src/add/hub.bend:155

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

155# why the add is refused before anything is asked, "" when it is not: a ref
156# and an entry both given, or a key the ledger refuses
157def early(+world: A.World) -> String:
158  Bool.pick(String,
159    Bool.or(String.is_empty(A.ref(world)), String.is_empty(A.entry.arg(world))),
160    Named.hub.why(A.deps(world), key(world), part(world), A.rename(world)),
161    "ez: " ++ nv(world) ++ " pins its version; the word after it is the entry, " ++
162      "and there is only one")