def body.named

ezx@1.11.0.0 · src/lock/world.bend:233

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/pkg/pkg.bend as K

233# the verdict once the manifest was known to be the one the hash names
234def body.named(ok: Bool, +hash: String, +manifest: String, +ss: List<&2, String>) -> Verdict:
235  match ok:
236    case True{}:
237      +fs = L.manifest.files(String.lines(manifest))
238      body.escape(K.escaped(fs), hash, fs, ss)
239    case False{}:
240      No{"ez: " ++ hash ++ ": its manifest does not hash to its name"}