src/fetch/run.bend fails

raw source on the hub · import 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/run.bend as Run

fetch/run: the interpreter for ez fetch. It reads whether there is an ez.toml and the lock's text into a World, with the directory they are in, then loops: it asks the planner (fetch/plan.bend) what is still open, answers each question, and adds the answers to the World, until nothing is left to ask. Then it runs the planner's plan with the lock's effect runner (Run.exec.plan), which lays each tree and exits 1 with the reason when the plan refuses. A tree under BEND_LIB is read here as the lock reads one (Run.answer.lib), a hub package is fetched as the lock fetches one (Run.answer), and a checkout is made as ez add makes one (Run.answer.up of Up.Clone), in a scratch directory outside the project and BEND_LIB that is removed whether or not the clone worked. A name's file under BEND_LIB/names is read as it is. So nothing is written while the questions are answered, and a refused fetch leaves BEND_LIB as it found it. It decides nothing; that it reads and executes faithfully is EZ-TRUST-2.

8 imports

import Base
import 0xabe575924687afad4cee1a2c1194d639/main.bend as R
import ../io/file.bend as F
import ../lock/run.bend as Run
import ../lock/world.bend as W
import ../lock/up.bend as Up
import ./world.bend as FW
import ./plan.bend as FP

Definitions

def laid.seen source · line 27 · raw

@got:Maybe<&2, String> -> @+dir:String -> IO(0x886223f5c47e4983fe57d887c034bc7f/src/lock/world.Answer)

a tree's manifest, when there is one: the tree as it names it, and otherwise a miss

def laid source · line 36 · raw

@+lib:String -> @+hash:String -> IO(0x886223f5c47e4983fe57d887c034bc7f/src/lock/world.Answer)

the tree under BEND_LIB for a hash, as its manifest names it, or a miss when there is none

def answer source · line 43 · raw

@+lib:String -> @ask:0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.Ask -> IO(0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.Answer)

one question, answered

def answer.all source · line 63 · raw

@+lib:String -> @asks:List<&2, 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.Ask> -> IO(List<&2, 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.Reply>)

every question, answered

def more source · line 74 · raw

@world:0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.World -> @rs:List<&2, 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.Reply> -> 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.World

the World with more answers in it

def loop.step source · line 80 · raw

@st:0x886223f5c47e4983fe57d887c034bc7f/src/fetch/plan.Step -> @+lib:String -> @world:0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.World -> @go:(@_:0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.World -> IO(Unit)) -> IO(Unit)

the planner's step: its questions answered and the loop gone round again, or its plan run

def loop source · line 92 · raw

@fuel:Nat -> @+lib:String -> @+world:0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.World -> IO(Unit)

the loop, under fuel. A package asks at most twice, for its tree under BEND_LIB and for its fetch, and every round answers what it asked, so the fuel is only a guard.

def at source · line 100 · raw

@+here:String -> @+file:String -> String

a file of the project, read

def fill source · line 106 · raw

@+here:String -> @+lib:String -> IO(Unit)

BEND_LIB lib filled from the lock of the project in here, which is where every relative path in the lock is read from. ez tool fills a tool's cache from its checkout's lock this way.

def run source · line 113 · raw

IO(Unit)

ez fetch: BEND_LIB filled from the lock of the project ez runs in