snap@1.2.0.0 relies on unsafe/foreign

0xa3b6f2e4e2b12fe8d8466a9a7bb176a3

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

snap@1.2.0.0 by noah-emp

Published

2026-09-30

Size

35,597 bytes, 13 files

License

MIT (LICENSE)

Declarations

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

Import

import snap@1.2.0.0/main.bend as Main
import 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/main.bend as Main
import snap@1.2.0.0/src/answer.bend as Answer
import 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/src/answer.bend as Answer
import snap@1.2.0.0/src/argv.bend as Argv
import 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/src/argv.bend as Argv
import snap@1.2.0.0/src/effect.bend as Effect
import 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/src/effect.bend as Effect
import snap@1.2.0.0/src/file.bend as MFile
import 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/src/file.bend as MFile
import snap@1.2.0.0/src/par.bend as Par
import 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/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 13 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,349 bytes
• src/exec.js 1,488 bytes
• src/par.c 8,997 bytes
• src/par.js 2,482 bytes
• src/start.c 2,902 bytes
• src/start.js 621 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:
- 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/src/effect.snaprun.exec
- 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/src/effect.snaprun.start
- 0xa3b6f2e4e2b12fe8d8466a9a7bb176a3/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