def name.heard

ezx@1.11.0.0 · src/doctor/plan.bend:317

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

317def name.heard(got: DW.Heard, +nv: String, +hash: String) -> List<&2, String>:
318  match got:
319    case DW.Heard{a}:
320      match a:
321        case DW.Held{m}:
322          name.got(m, nv, hash)
323        case _:
324          ["names/" ++ nv ++ " was not read"]
325    case DW.Open{}:
326      ["names/" ++ nv ++ " was not read"]