0x886223f5 fails
0x886223f5c47e4983fe57d887c034bc7f
ezx: ez, the package manager for Bend 2.
Anonymous package: import it by hash.
Other versions (1)
- 0x74799d3f 2026-09-30 latest
- Published
- 2026-09-30
- Size
- 723,803 bytes, 69 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 1754 defs, 138 types
Import
import 0x886223f5c47e4983fe57d887c034bc7f/main.bend as Main import 0x886223f5c47e4983fe57d887c034bc7f/src/add/hub.bend as Hub import 0x886223f5c47e4983fe57d887c034bc7f/src/add/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/add/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/add/world.bend as World import 0x886223f5c47e4983fe57d887c034bc7f/src/doctor/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/doctor/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/doctor/world.bend as World import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/clock.bend as Clock import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/cmd.bend as Cmd import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/ends.bend as Ends import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/gate.bend as Gate import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/key.bend as Key import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/line.bend as Line import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/main.bend as Main import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/named.bend as Named import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/prove.bend as Prove import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/quiet.bend as Quiet import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/sorted.bend as Sorted import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/start.bend as Start import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/target.bend as Target import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/test.bend as Test import 0x886223f5c47e4983fe57d887c034bc7f/src/ez/timer.bend as Timer import 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/fetch/world.bend as World import 0x886223f5c47e4983fe57d887c034bc7f/src/git/exec.bend as Exec import 0x886223f5c47e4983fe57d887c034bc7f/src/git/git.bend as Git import 0x886223f5c47e4983fe57d887c034bc7f/src/hub/get.bend as Get import 0x886223f5c47e4983fe57d887c034bc7f/src/hub/hub.bend as Hub import 0x886223f5c47e4983fe57d887c034bc7f/src/init/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/init/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/io/file.bend as MFile import 0x886223f5c47e4983fe57d887c034bc7f/src/ledger/ignore.bend as Ignore import 0x886223f5c47e4983fe57d887c034bc7f/src/ledger/manifest.bend as Manifest import 0x886223f5c47e4983fe57d887c034bc7f/src/ledger/render.bend as Render import 0x886223f5c47e4983fe57d887c034bc7f/src/ledger/upgrade.bend as Upgrade import 0x886223f5c47e4983fe57d887c034bc7f/src/lock/lock.bend as Lock import 0x886223f5c47e4983fe57d887c034bc7f/src/lock/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/lock/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/lock/up.bend as Up import 0x886223f5c47e4983fe57d887c034bc7f/src/lock/world.bend as World import 0x886223f5c47e4983fe57d887c034bc7f/src/pkg/path.bend as Path import 0x886223f5c47e4983fe57d887c034bc7f/src/pkg/pkg.bend as Pkg import 0x886223f5c47e4983fe57d887c034bc7f/src/pub/blurb.bend as Blurb import 0x886223f5c47e4983fe57d887c034bc7f/src/pub/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/pub/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/pub/world.bend as World import 0x886223f5c47e4983fe57d887c034bc7f/src/remove/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/remove/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/run/bend.bend as Bend import 0x886223f5c47e4983fe57d887c034bc7f/src/sha/dump.bend as Dump import 0x886223f5c47e4983fe57d887c034bc7f/src/sha/nar.bend as Nar import 0x886223f5c47e4983fe57d887c034bc7f/src/share/args.bend as Args import 0x886223f5c47e4983fe57d887c034bc7f/src/share/cap.bend as Cap import 0x886223f5c47e4983fe57d887c034bc7f/src/share/env.bend as Env import 0x886223f5c47e4983fe57d887c034bc7f/src/share/exec.bend as Exec import 0x886223f5c47e4983fe57d887c034bc7f/src/share/pass.bend as Pass import 0x886223f5c47e4983fe57d887c034bc7f/src/share/pin.bend as Pin import 0x886223f5c47e4983fe57d887c034bc7f/src/share/say.bend as Say import 0x886223f5c47e4983fe57d887c034bc7f/src/share/sha.bend as Sha import 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.bend as Spin import 0x886223f5c47e4983fe57d887c034bc7f/src/toml/toml.bend as Toml import 0x886223f5c47e4983fe57d887c034bc7f/src/tool/plan.bend as Plan import 0x886223f5c47e4983fe57d887c034bc7f/src/tool/run.bend as Run import 0x886223f5c47e4983fe57d887c034bc7f/src/tool/world.bend as World
Modules
- main.bend not loaded — ezx: ez, the package manager for Bend 2.
- src/add/hub.bend not loaded — add/hub: `ez add <name>@<version>` as a pure planner, for a target bend
- src/add/plan.bend not loaded — add/plan: `ez add` as a pure planner. It reads a World (add/world.bend) and
- src/add/run.bend not loaded — add/run: the interpreter for `ez add`. It reads the directory it runs in,
- src/add/world.bend 34 declarations — add/world: what `ez add` reads. The arguments it was given; the directory
- src/doctor/plan.bend 118 declarations — doctor/plan: `ez doctor` as a pure planner. It reads a World
- src/doctor/run.bend 11 declarations — doctor/run: the interpreter for `ez doctor`. It reads `$CC`, `$BEND_LIB`,
- src/doctor/world.bend 33 declarations — doctor/world: what `ez doctor` reads. The C compiler `$CC` names ("" when
- src/ez/clock.bend 2 declarations — ez/clock: the wall-clock budget a run has to finish inside.
- src/ez/cmd.bend not loaded — ez/cmd: what each subcommand does. Everything that touches the network or the
- src/ez/ends.bend 8 declarations — ez/ends: how the commands that are not planners end. `ez check` and
- src/ez/gate.bend 3 declarations — ez/gate: what a test file says its run must print. A test states that in a
- src/ez/key.bend 10 declarations — ez/key: what a cached tool checkout and binary were made from. A checkout
- src/ez/line.bend 36 declarations — ez/line: the command line, taken apart before any command runs. `spec` is
- src/ez/main.bend not loaded — ez: the one binary. The line is a Shake.Cli (`L.spec`): `parse` binds the
- src/ez/named.bend 31 declarations — ez/named: the name `ez add` records a dependency under, in the order cargo
- src/ez/prove.bend 19 declarations — ez/prove: the proof gate. Every PROOF.bend in the tree is run through `bend`,
- src/ez/quiet.bend 13 declarations — ez/quiet: bend's own chatter dropped from a run's output, so a test sees only
- src/ez/sorted.bend 3 declarations — ez/sorted: strings in order, sorted by a walk the termination check can read.
- src/ez/start.bend 19 declarations — ez/start: what `ez check`, `ez build` and `ez run` start, decided from the
- src/ez/target.bend 70 declarations — ez/target: what `ez add`, `ez tool run`, `install` and `upgrade` were asked
- src/ez/test.bend 15 declarations — ez/test: the test runner. Bend has none, so a test is a `*/tests/*.bend` file
- src/ez/timer.bend 7 declarations — ez/timer: the clock ez/clock's budget is kept by. `date -d` works out the
- src/fetch/plan.bend 112 declarations — fetch/plan: `ez fetch` as a pure planner. It reads a World
- src/fetch/run.bend 10 declarations — fetch/run: the interpreter for `ez fetch`. It reads whether there is an
- src/fetch/world.bend 29 declarations — fetch/world: what `ez fetch` reads. The directory the project is in
- src/git/exec.bend 17 declarations — git/exec: the git commands the interpreters run: a shallow clone of one
- src/git/git.bend 120 declarations — git/git: what ez asks of git, and how it reads the answers. The decisions are
- src/hub/get.bend 7 declarations — hub/get: a file fetched from the hub over ezhttp, or read off the disk for a
- src/hub/hub.bend 9 declarations — hub/hub: a file fetched from the hub, and checked against the hash that names
- src/init/plan.bend 33 declarations — init/plan: `ez init` as a pure planner. It asks nothing: its World is the
- src/init/run.bend 1 declarations — init/run: the interpreter for `ez init`. It reads ez.toml, `.gitignore`,
- src/io/file.bend 12 declarations — io/file: a whole file read or written in one call. Base gives an open handle
- src/ledger/ignore.bend 53 declarations — ledger/ignore: the gitignore allowlist, derived from the ledger. A
- src/ledger/manifest.bend 73 declarations — ledger/manifest: the dependency ledger, and ez's ledger library. Bend's
- src/ledger/render.bend 29 declarations — ledger/render: a ledger written back out as ez.toml, and the two edits the
- src/ledger/upgrade.bend 36 declarations — ledger/upgrade: what `ez lock --upgrade` may do to one dependency, before
- src/lock/lock.bend 107 declarations — lock/lock: the lock document. What a package is (its source and its files),
- src/lock/plan.bend 174 declarations — lock/plan: `ez lock` as a pure planner. It reads a World (lock/world.bend)
- src/lock/run.bend 69 declarations — lock/run: the interpreter for `ez lock`. It reads the ledger and the
- src/lock/up.bend 198 declarations — lock/up: what `ez lock --upgrade` decides, as a pure function of what the
- src/lock/world.bend 89 declarations — lock/world: everything `ez lock` reads, as one value, and what the lock may
- src/pkg/path.bend 34 declarations — pkg/path: the path arithmetic the import walk needs, lexical only. Base has
- src/pkg/pkg.bend 195 declarations — pkg/pkg: the package a `bend <entry> --publish` would upload, computed
- src/pub/blurb.bend 14 declarations — pub/blurb: the line the hub shows as a package's description, pure. The
- src/pub/plan.bend not loaded — pub/plan: the planner for `ez publish`, pure. It reads a World
- src/pub/run.bend not loaded — pub/run: the interpreter for `ez publish`. It reads the directory the
- src/pub/world.bend 25 declarations — pub/world: what `ez publish` reads. The directory the project is in
- src/remove/plan.bend 25 declarations — remove/plan: `ez remove` as a pure planner. It asks nothing: its World is
- src/remove/run.bend 1 declarations — remove/run: the interpreter for `ez remove`. It reads ez.toml and
- src/run/bend.bend 2 declarations — run/bend: which bend is on the PATH, asked the way that bend will answer.
- src/sha/dump.bend 13 declarations — sha/dump: a directory read off the disk and handed to sha/nar, which builds
- src/sha/nar.bend 68 declarations — sha/nar: the SRI `nix hash path --sri` would give for a directory, computed
- src/share/args.bend 19 declarations — share/args: the command line, as the binary itself receives it. Since bend
- src/share/cap.bend 11 declarations — share/cap: every `bend` the runner starts, inside a memory cap.
- src/share/env.bend 6 declarations — share/env: the environment ez hands to the programs it runs. Vendored packages
- src/share/exec.bend 2 declarations — share/exec: a program run with this project's BEND_LIB in front of it, and
- src/share/pass.bend 2 declarations — share/pass: a program run on ez's own stdin, stdout and stderr, as `cargo run`
- src/share/pin.bend 4 declarations — share/pin: a plain `ez lock` refuses a `[tools.*]` pin it would have to fill.
- src/share/say.bend 32 declarations — share/say: the words a long step says, and a spinner for the wait.
- src/share/sha.bend 21 declarations — share/sha: the sha256 a package hash is built from. The digest itself comes from
- src/share/spin.bend 9 declarations — share/spin: the spinner share/say's words are drawn with. This is the half
- src/toml/toml.bend 52 declarations — toml/toml: ez's view of a TOML document: sections of string pairs. ez's
- src/tool/plan.bend not loaded — tool/plan: `ez tool run`, `install` and `upgrade` as a pure planner, and
- src/tool/run.bend not loaded — tool/run: the interpreter for `ez tool run`, `install`, `upgrade` and
- src/tool/world.bend 52 declarations — tool/world: what `ez tool run`, `install` and `upgrade` read. The act and
Other files
- LICENSE 1,069 bytes
- src/share/pass.c 1,766 bytes
- src/share/pass.js 595 bytes
Dependencies
- snap@1.1.0.0 via
src/add/run.bend: import 0xabe575924687afad4cee1a2c1194d639/main.bend as R - shake@0.4.0.0 via
src/ez/line.bend: import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Shake - emerging-ezhttp@0.8.0.0 via
src/hub/get.bend: import 0xf1c957a470368870a6d1d62a8c0cbe32/main.bend as Http - 0x3bdc0c9f via
src/share/sha.bend: import 0x3bdc0c9f5265bb49f7fc76b61f529f24/sha256.bend as S - emerging-eztoml@0.8.0.0 via
src/toml/toml.bend: import 0x8fb95168b7719a8faec16af7ee47b246/main.bend as E
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| main.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
86 | Go{hash: String, files: List<&2, K.Item>, srcs: List<&2, String>}
87>| Wait{asks: List<&2, W.Ask>}
| ^^^^
88 | Stop{why: String} | 1.3 s |
| src/add/hub.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
86 | Go{hash: String, files: List<&2, K.Item>, srcs: List<&2, String>}
87>| Wait{asks: List<&2, W.Ask>}
| ^^^^
88 | Stop{why: String} | 1.1 s |
| src/add/plan.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
86 | Go{hash: String, files: List<&2, K.Item>, srcs: List<&2, String>}
87>| Wait{asks: List<&2, W.Ask>}
| ^^^^
88 | Stop{why: String} | 1.2 s |
| src/add/run.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
86 | Go{hash: String, files: List<&2, K.Item>, srcs: List<&2, String>}
87>| Wait{asks: List<&2, W.Ask>}
| ^^^^
88 | Stop{why: String} | 1.2 s |
| src/add/world.bend | checks | ALL PROOFS CHECK | 2.3 s |
| src/doctor/plan.bend | checks | ALL PROOFS CHECK | 2.6 s |
| src/doctor/run.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 1.6 s |
| src/doctor/world.bend | checks | ALL PROOFS CHECK | 2.1 s |
| src/ez/clock.bend | checks | ALL PROOFS CHECK | 0.7 s |
| src/ez/cmd.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
86 | Go{hash: String, files: List<&2, K.Item>, srcs: List<&2, String>}
87>| Wait{asks: List<&2, W.Ask>}
| ^^^^
88 | Stop{why: String} | 1.1 s |
| src/ez/ends.bend | checks | ALL PROOFS CHECK | 2.3 s |
| src/ez/gate.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/ez/key.bend | checks | ALL PROOFS CHECK | 1.0 s |
| src/ez/line.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/ez/main.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
86 | Go{hash: String, files: List<&2, K.Item>, srcs: List<&2, String>}
87>| Wait{asks: List<&2, W.Ask>}
| ^^^^
88 | Stop{why: String} | 1.5 s |
| src/ez/named.bend | checks | ALL PROOFS CHECK | 1.8 s |
| src/ez/prove.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 1.8 s |
| src/ez/quiet.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/ez/sorted.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/ez/start.bend | checks | ALL PROOFS CHECK | 1.3 s |
| src/ez/target.bend | checks | ALL PROOFS CHECK | 1.4 s |
| src/ez/test.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 2.4 s |
| src/ez/timer.bend | relies on unsafe/foreign | 13 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, by, start.go, start, over.now, over.go, overoutputSOME PROOFS FAIL Error: 13 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - by - start.go - start - over.now - over.go - over | 0.9 s |
| src/fetch/plan.bend | checks | ALL PROOFS CHECK | 2.4 s |
| src/fetch/run.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 2.1 s |
| src/fetch/world.bend | checks | ALL PROOFS CHECK | 2.2 s |
| src/git/exec.bend | relies on unsafe/foreign | 28 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, 0x886223f5c47e4983fe57d887c034bc7f/src/sha/dump.dump, 0x886223f5c47e4983fe57d887c034bc7f/src/sha/dump.path, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.link, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.dev, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.start, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.hold.at, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.hold, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.done.live, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.done.bad, 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.done, run, anchored, clone.say, clone, nar, weigh, remote, clone.bare, descendant.clone, descendant.go, descendant.atoutputSOME PROOFS FAIL Error: 28 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - 0x886223f5c47e4983fe57d887c034bc7f/src/sha/dump.dump - 0x886223f5c47e4983fe57d887c034bc7f/src/sha/dump.path - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.link - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.dev - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.start - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.hold.at - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.hold - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.done.live - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.done.bad - 0x886223f5c47e4983fe57d887c034bc7f/src/share/spin.done - run - anchored - clone.say - clone - nar - weigh - remote - clone.bare - descendant.clone - descendant.go - descendant.at | 2.1 s |
| src/git/git.bend | checks | ALL PROOFS CHECK | 1.6 s |
| src/hub/get.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 1.0 s |
| src/hub/hub.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/init/plan.bend | checks | ALL PROOFS CHECK | 2.2 s |
| src/init/run.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 1.9 s |
| src/io/file.bend | checks | ALL PROOFS CHECK | 0.6 s |
| src/ledger/ignore.bend | checks | ALL PROOFS CHECK | 1.5 s |
| src/ledger/manifest.bend | checks | ALL PROOFS CHECK | 1.3 s |
| src/ledger/render.bend | checks | ALL PROOFS CHECK | 1.5 s |
| src/ledger/upgrade.bend | checks | ALL PROOFS CHECK | 1.3 s |
| src/lock/lock.bend | checks | ALL PROOFS CHECK | 1.8 s |
| src/lock/plan.bend | checks | ALL PROOFS CHECK | 2.7 s |
| src/lock/run.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 1.5 s |
| src/lock/up.bend | checks | ALL PROOFS CHECK | 2.3 s |
| src/lock/world.bend | checks | ALL PROOFS CHECK | 1.9 s |
| src/pkg/path.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/pkg/pkg.bend | checks | ALL PROOFS CHECK | 1.2 s |
| src/pub/blurb.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/pub/plan.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
1079 | Go{}
1080>| Wait{asks: List<&2, PW.Ask>}
| ^^^^
1081 | Stop{why: String} | 1.1 s |
| src/pub/run.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
866 | Go{}
867>| Wait{asks: List<&2, TW.Ask>, ups: List<&2, Up.Ask>}
| ^^^^
868 | Stop{why: String} | 1.3 s |
| src/pub/world.bend | checks | ALL PROOFS CHECK | 2.1 s |
| src/remove/plan.bend | checks | ALL PROOFS CHECK | 2.3 s |
| src/remove/run.bend | fails | - expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>outputError:
- expected : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, String>> -> IO.OP<R>) -> IO.OP<R>
- observed : @-R:Type -> @k:(@_:Sigma<&1, &1, Socket, _ => Result<&1, &1, Sigma<&1, &1, U32, _ => String>, Maybe<&1, String>>> -> IO.OP<R>) -> IO.OP<R>
Context:
- f : Nat
- sock : Socket
- got : String
Location: server.read.go
136 | Socket & Http.Request,
137>| TCP.recv(sock, server.max()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
138 | pair => server.read.un(got, s => g => server.read.go(f, s, g), pair)) | 1.6 s |
| src/run/bend.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, version.older, versionoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - version.older - version | 0.9 s |
| src/sha/dump.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, dump, pathoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - dump - path | 1.2 s |
| src/sha/nar.bend | checks | ALL PROOFS CHECK | 1.1 s |
| src/share/args.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/share/cap.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, ok, runoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - ok - run | 0.8 s |
| src/share/env.bend | checks | ALL PROOFS CHECK | 0.9 s |
| src/share/exec.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, exec, makeoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - exec - make | 0.9 s |
| src/share/pass.bend | relies on unsafe/foreign | 9 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, ezpass.run, runoutputSOME PROOFS FAIL Error: 9 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - ezpass.run - run | 0.8 s |
| src/share/pin.bend | checks | ALL PROOFS CHECK | 1.5 s |
| src/share/say.bend | checks | ALL PROOFS CHECK | 0.8 s |
| src/share/sha.bend | checks | ALL PROOFS CHECK | 1.2 s |
| src/share/spin.bend | relies on unsafe/foreign | 15 defs rely on unsafe or foreign code defs: 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start, 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par, 0xabe575924687afad4cee1a2c1194d639/main.run, 0xabe575924687afad4cee1a2c1194d639/main.exec, 0xabe575924687afad4cee1a2c1194d639/main.start, 0xabe575924687afad4cee1a2c1194d639/main.par, link, dev, start, hold.at, hold, done.live, done.bad, doneoutputSOME PROOFS FAIL Error: 15 defs rely on unsafe or foreign code: - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.exec - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.start - 0xabe575924687afad4cee1a2c1194d639/src/effect.snaprun.par - 0xabe575924687afad4cee1a2c1194d639/main.run - 0xabe575924687afad4cee1a2c1194d639/main.exec - 0xabe575924687afad4cee1a2c1194d639/main.start - 0xabe575924687afad4cee1a2c1194d639/main.par - link - dev - start - hold.at - hold - done.live - done.bad - done | 1.0 s |
| src/toml/toml.bend | checks | ALL PROOFS CHECK | 1.4 s |
| src/tool/plan.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
866 | Go{}
867>| Wait{asks: List<&2, TW.Ask>, ups: List<&2, Up.Ask>}
| ^^^^
868 | Stop{why: String} | 1.1 s |
| src/tool/run.bend | fails | - expected : a fresh constructor name (duplicate declaration: Wait)outputError:
- expected : a fresh constructor name (duplicate declaration: Wait)
- observed : 'Wait'
Location:
866 | Go{}
867>| Wait{asks: List<&2, TW.Ask>, ups: List<&2, Up.Ask>}
| ^^^^
868 | Stop{why: String} | 1.5 s |
| src/tool/world.bend | checks | ALL PROOFS CHECK | 2.1 s |