def names.open

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

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

1273# every name of a list still to be resolved
1274def names.open(
1275  +ns: List<&2, L.Name>,
1276  +js: List<&2, W.Judged>,
1277  +roots: List<&2, String>,
1278  nvs: List<&2, String>
1279) -> List<&2, String>:
1280  match nvs:
1281    case []:
1282      []
1283    case +h <> t:
1284      names.open.put(name.open(ns, js, roots, h), h, names.open(ns, js, roots, t))