def plan.v

ezx@1.11.0.0 · src/tool/plan.bend:1048

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/lock/plan.bend as P

1048# the plan for where the World stands. One that still asks is a World the
1049# interpreter did not finish, and is refused rather than guessed at.
1050def plan.v(verdict: Verdict, +world: TW.World) -> Plan:
1051  match verdict:
1052    case Go{}:
1053      made(world)
1054    case Pending{_as, _us}:
1055      Plan{Still{}, Skip{}, Idle{}, P.Refused{"ez: " ++ TW.target(world) ++ " was never resolved"}}
1056    case Stop{why}:
1057      Plan{Still{}, Skip{}, Idle{}, P.Refused{why}}