def loop

ezx@1.11.0.0 · src/pub/run.bend:98

import Base
import ezx@1.11.0.0/src/pub/world.bend as PW
import ezx@1.11.0.0/src/pub/plan.bend as PP

98# the loop, under fuel. The walk asks for one file a round, so the fuel is a
99# guard against a planner that keeps asking, not a limit on a package.
100def loop(fuel: Nat, +lib: String, +world: PW.World) -> IO(Unit):
101  match fuel:
102    case 0n:
103      IO.die(Unit, 1, "ez: ez publish kept asking questions")
104    case 1n+f:
105      loop.step(PP.step(world), lib, world, w => loop(f, lib, w))