def body.laid

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

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

199# the verdict once the files, weighed by their own texts, were asked whether
200# they hash to the name. Their manifest is the one the tree is laid with, and
201# the manifest that was read hashes to the name already, so a package whose
202# manifest is not written the way ez writes one (a line per file, in path
203# order, each file once) is refused here rather than laid under a name its
204# laid manifest does not hash to.
205def body.laid(ok: Bool, +hash: String, fs: List<&2, K.Item>, ss: List<&2, String>) -> Verdict:
206  match ok:
207    case True{}:
208      Ok{fs, ss}
209    case False{}:
210      No{"ez: " ++ hash ++ ": its manifest is not written the way its name is taken" ++
211        " (one line per file, in path order, each file once)"}