def step.verdict

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

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

77# one package, by its verdict. Its imports are queued by hash, and by the
78# hash the table of names gives each name it imports.
79def step.verdict(
80  verdict: W.Verdict,
81  +ns: List<&2, L.Name>,
82  +src: L.Src,
83  +hash: String,
84  rest: List<&2, String>,
85  packs: List<&2, L.Pack>,
86  asks: List<&2, String>,
87  bad: String
88) -> Walk:
89  match verdict:
90    case W.No{why}:
91      Walk{rest, packs, asks, first(bad, why)}
92    case W.Ok{fs, ss}:
93      Walk{List.append(&2, String, rest, L.kids.in(ns, ss)), L.Pack{hash, src, fs} <> packs,
94        asks, bad}
95    case W.Named{_names}:
96      Walk{rest, packs, asks, first(bad, "ez: " ++ hash ++ " is imported as a package, and it is not one")}