def name.hashes

ezx@1.11.0.0 · src/lock/lock.bend:113

import Base

113# the hashes a table gives a list of names, leaving out the ones it does not
114# resolve
115def name.hashes(+ns: List<&2, Name>, nvs: List<&2, String>) -> List<&2, String>:
116  match nvs:
117    case []:
118      []
119    case +h <> t:
120      List.append(&2, String, name.put(name.find(ns, h)), name.hashes(ns, t))