def plan.v

ezx@1.11.0.0 · src/add/hub.bend:333

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/lock/plan.bend as P

333# the plan for where the World stands. One that still asks is a World the
334# interpreter did not finish, and is refused rather than guessed at.
335def plan.v(verdict: Verdict, +world: A.World) -> P.Plan:
336  match verdict:
337    case Go{hash, fs, ss}:
338      made(hash, fs, ss, world)
339    case Pending{_asks}:
340      P.Plan{[], P.Refused{"ez: the hub was never asked what " ++ nv(world) ++ " names"}}
341    case Stop{why}:
342      P.Plan{[], P.Refused{why}}