def step.ups

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

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

1388# the upgrade's questions first, since the packages the lock reads depend on
1389# where the pins move
1390def step.ups(
1391  ups: List<&2, Up.Ask>,
1392  +here: String,
1393  +nx: Up.Next,
1394  +listing: W.Listing,
1395  +replies: List<&2, W.Reply>
1396) -> Step:
1397  match ups:
1398    case []:
1399      step.pkgs(wants.of(here, nx, listing, replies), names.wants.of(nx, listing, replies), nx,
1400        listing, replies)
1401    case h <> t:
1402      Asking{[], queries(here, h <> t), []}