def next

ezx@1.11.0.0 · src/lock/up.bend:1283

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

1283# `ez lock --upgrade [--package only]` over the ledger and the answers so far.
1284# A ledger that does not parse is the plain lock's refusal.
1285def next(+only: String, read: M.Read, +rs: List<&2, Reply>) -> Next:
1286  match read:
1287    case M.Bad{why}:
1288      plain(M.Bad{why})
1289    case M.Good{+m}:
1290      M.Manifest{_name, _entry, _bin, _hub, _pubas, _pubver, +ds, +ts} = m
1291      known(Bool.or(U.known(only, ds), M.tool.known(only, ts)), only, rs, m)