def plan.v

ezx@1.11.0.0 · src/add/plan.bend:607

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

607# the plan for where the World stands. One that still asks is a World the
608# interpreter did not finish, and is refused rather than guessed at.
609def plan.v(verdict: Verdict, +world: A.World) -> P.Plan:
610  match verdict:
611    case Go{}:
612      made(walked(world), world)
613    case Pending{_qs}:
614      P.Plan{[], P.Refused{"ez: the remote was never asked what " ++ A.url(world) ++
615        " holds"}}
616    case Stop{why}:
617      P.Plan{[], P.Refused{why}}