~/jendhub

def remove.next

ezx@1.11.0.0 · src/ws/relock.bend:412

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/relock/relock.bend as R
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/remove/relock.bend as RR

412# what the interpreter does next for `ez remove`: in a project of its own,
413# what remove/relock.bend says; in a workspace, the remove, then the root's
414# lock
415def remove.next(ws: Ws, +world: RR.World) -> RR.Next:
416  match ws:
417    case Own{}:
418      RR.next(world)
419    case Inside{+root}:
420      remove.next.made(R.refuses(RP.plan(RR.remove(world))), root, world)

Uses (8)

Used by (1)