0x103d0af0 relies on unsafe/foreign

0x103d0af04de36ab98b311e537366ec67

snap: run programs from Bend 2 with argv as a list of strings, no shell.

Anonymous package: import it by hash.

Published

2026-09-25

Size

33,979 bytes, 13 files

License

MIT (LICENSE)

Declarations

0 laws (0 proved), 44 defs, 1 types

Import

import 0x103d0af04de36ab98b311e537366ec67/main.bend as Main
import 0x103d0af04de36ab98b311e537366ec67/src/answer.bend as Answer
import 0x103d0af04de36ab98b311e537366ec67/src/argv.bend as Argv
import 0x103d0af04de36ab98b311e537366ec67/src/effect.bend as Effect
import 0x103d0af04de36ab98b311e537366ec67/src/file.bend as MFile
import 0x103d0af04de36ab98b311e537366ec67/src/par.bend as Par

Modules

• main.bend 9 declarations — snap: run programs from Bend 2 with argv as a list of strings, no shell.
• src/answer.bend 5 declarations — src/answer: reading an answer, which is the exit status on its own first
• src/argv.bend 13 declarations — src/argv: what `run`, `exec` and `start` do with an argv. `run.plan` decides
• src/effect.bend 3 declarations — src/effect: the three foreign effects snap runs programs through. Each is
• src/file.bend 8 declarations — src/file: a file's text, read whole, or None when it cannot be opened.
• src/par.bend 9 declarations — src/par: what `par` sends its effect and how it reads the answers back.

Other files

• LICENSE 1,074 bytes
• src/exec.c 2,348 bytes
• src/exec.js 1,446 bytes
• src/par.c 8,996 bytes
• src/par.js 2,442 bytes
• src/start.c 2,901 bytes
• src/start.js 577 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 7 defs rely on unsafe or foreign code:
- 0x103d0af04de36ab98b311e537366ec67/src/effect.snaprun.exec
- 0x103d0af04de36ab98b311e537366ec67/src/effect.snaprun.start
- 0x103d0af04de36ab98b311e537366ec67/src/effect.snaprun.par
- run
- exec
- start
- par

SOME PROOFS FAIL
Error: 3 defs rely on unsafe or foreign code:
- snaprun.exec
- snaprun.start
- snaprun.par