~/bend-docscommunity

bend-kit-process@0.2.0.1 relies on unsafe/foreign

0x7843fdc3c5ff57acbb79e7e7c945fec9

Subprocesses and process-level OS access, with byte-exact input and output.

bend-kit-process@0.2.0.1 by paymog

Earlier versions (3)
Published
2026-10-09
Size
33,140 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 14 defs, 0 types

Import

import bend-kit-process@0.2.0.1/process.bend as MProcess
import 0x7843fdc3c5ff57acbb79e7e7c945fec9/process.bend as MProcess

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
process.bendrelies on unsafe/foreign 13 defs rely on unsafe or foreign code
defs: run.raw, spawn, wait, read_stdin, stdin.read, exit.raw, exit, cwd, chdir, hostname, pid, signal.poll, run
output
SOME PROOFS FAIL
Error: 13 defs rely on unsafe or foreign code:
- run.raw
- spawn
- wait
- read_stdin
- stdin.read
- exit.raw
- exit
- cwd
- chdir
- hostname
- pid
- signal.poll
- run
1.0 s