def lay.verdict

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

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

831# a checked tree laid, ahead of what follows: its files with their texts,
832# then the manifest of those texts, which is the manifest whose name the
833# verdict checked (`W.body.laid`)
834def lay.verdict(verdict: W.Verdict, place: Place, +hash: String, rest: List<&2, Effect>) -> List<&2, Effect>:
835  match verdict:
836    case W.No{_why}:
837      rest
838    case W.Ok{fs, ss}:
839      +ls = W.laid(fs, ss)
840      Lay{place, hash, List.append(&2, W.Source, ls,
841        [W.Source{"manifest", W.manifest(ls)}])} <> rest
842    case W.Named{_ns}:
843      rest