def fill

ezx@1.11.0.0 · src/fetch/run.bend:114

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/fetch/world.bend as FW

114# BEND_LIB `lib` filled from the lock of the project in `here`, which is
115# where every relative path in the lock is read from. `ez tool` fills a
116# tool's cache from its checkout's lock this way.
117def fill(+here: String, +lib: String) -> IO(Unit):
118  do IO<Unit>:
119    led : Maybe<&2, String> <- F.read(at(here, FW.toml()))
120    lk : Maybe<&2, String> <- F.read(at(here, FW.lockfile()))
121    loop(rounds(), lib, FW.World{here, Maybe.is_some(&2, String, led), lk, []})