def names.open.why

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

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

531# why a name nothing resolved stops the lock: what its answer said, or that
532# it was never asked
533def names.open.why(found: Look, +nv: String) -> String:
534  match found:
535    case Found{v}:
536      match v:
537        case W.No{why}:
538          why
539        case _:
540          "ez: " ++ nv ++ " was never resolved, so there is nothing to lock it from"
541    case Absent{}:
542      "ez: " ++ nv ++ " was never resolved, so there is nothing to lock it from"