src/share/exec.bend relies on unsafe/foreign

raw source on the hub · import 0x74799d3f846634a3d7461d4336d7c9d4/src/share/exec.bend as Exec

share/exec: a program run with this project's BEND_LIB in front of it, and the directories bend writes into made before it starts. share/env decides what the line and the directories are; this runs them, through snap's foreign effect, and lives apart because bend 2.0.32 fails a proof whose imports reach foreign code, so a law may import share/env but never this.

3 imports

import Base
import 0xabe575924687afad4cee1a2c1194d639/main.bend as R
import ./env.bend as Env

Definitions

def exec source · line 11 · raw

@args:List<&2, String> -> IO(String)

a program run with this project's BEND_LIB set for it

def make source · line 18 · raw

@ds:List<&2, String> -> IO(Unit)

those directories made. Base has no mkdir, so this is coreutils, and no directory means no run at all.