0x013e0f9a fails

0x013e0f9a479bbebad5ed196725eede95

bolt: a linter, checker and language server for Bend 2.

Anonymous package: import it by hash.

Published

2026-09-30

Size

534,506 bytes, 85 files

License

MIT (LICENSE)

Declarations

0 laws (0 proved), 1260 defs, 108 types

Import

import 0x013e0f9a479bbebad5ed196725eede95/main.bend as Main
import 0x013e0f9a479bbebad5ed196725eede95/src/args.bend as Args
import 0x013e0f9a479bbebad5ed196725eede95/src/build_rev.bend as Build_rev
import 0x013e0f9a479bbebad5ed196725eede95/src/check.bend as Check
import 0x013e0f9a479bbebad5ed196725eede95/src/codes.bend as Codes
import 0x013e0f9a479bbebad5ed196725eede95/src/config.bend as Config
import 0x013e0f9a479bbebad5ed196725eede95/src/finding.bend as Finding
import 0x013e0f9a479bbebad5ed196725eede95/src/lazy/lazy.bend as Lazy
import 0x013e0f9a479bbebad5ed196725eede95/src/lint.bend as Lint
import 0x013e0f9a479bbebad5ed196725eede95/src/lint/plan.bend as Plan
import 0x013e0f9a479bbebad5ed196725eede95/src/lint/world.bend as World
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/checker/answer.bend as Answer
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/checker/argv.bend as Argv
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/checker/bend.bend as Bend
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/checker/names.bend as Names
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/docs.bend as Docs
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/enc.bend as Enc
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/files/disk.bend as Disk
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/files/service.bend as Service
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/frame.bend as Frame
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/nav.bend as Nav
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/path.bend as Path
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/proto.bend as Proto
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/report.bend as Report
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/run.bend as Run
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/semantic.bend as Semantic
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/server.bend as Server
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/transport/service.bend as Service
import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/transport/stdio.bend as Stdio
import 0x013e0f9a479bbebad5ed196725eede95/src/noqa.bend as Noqa
import 0x013e0f9a479bbebad5ed196725eede95/src/paths.bend as Paths
import 0x013e0f9a479bbebad5ed196725eede95/src/rules.bend as Rules
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/calls.bend as Calls
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/arms.bend as Arms
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/chars.bend as Chars
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/escape.bend as Escape
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/foreign.bend as Foreign
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/hole.bend as Hole
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/pick.bend as Pick
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/put.bend as Put
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/strings.bend as Strings
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/correctness/twice.bend as Twice
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/digest.bend as Digest
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/imports.bend as Imports
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/laws/closed.bend as Closed
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/laws/law.bend as Law
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/laws/trace.bend as Trace
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/laws/unsafe.bend as Unsafe
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/pedantic/tail.bend as Tail
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/style/doc.bend as Doc
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/style/noqa.bend as Noqa
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/style/param.bend as Param
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/style/space.bend as Space
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/style/wrap.bend as Wrap
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/concat.bend as Concat
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/eager.bend as Eager
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/fuel.bend as Fuel
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/hoist.bend as Hoist
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/index.bend as Index
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/rewalk.bend as Rewalk
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/ring.bend as Ring
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/strict.bend as Strict
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/table.bend as Table
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/unit.bend as MUnit
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/suspicious/unused.bend as Unused
import 0x013e0f9a479bbebad5ed196725eede95/src/rules/tokens.bend as Tokens
import 0x013e0f9a479bbebad5ed196725eede95/src/src.bend as Src
import 0x013e0f9a479bbebad5ed196725eede95/src/status.bend as Status
import 0x013e0f9a479bbebad5ed196725eede95/src/stop.bend as Stop
import 0x013e0f9a479bbebad5ed196725eede95/src/syntax/bind.bend as Bind
import 0x013e0f9a479bbebad5ed196725eede95/src/syntax/lex.bend as Lex
import 0x013e0f9a479bbebad5ed196725eede95/src/syntax/outline.bend as Outline
import 0x013e0f9a479bbebad5ed196725eede95/src/syntax/tree.bend as Tree
import 0x013e0f9a479bbebad5ed196725eede95/src/syntax/word.bend as MWord
import 0x013e0f9a479bbebad5ed196725eede95/src/version.bend as Version
import 0x013e0f9a479bbebad5ed196725eede95/src/walk/disk.bend as Disk

Modules

• main.bend not loaded — bolt: a linter, checker and language server for Bend 2.
• src/args.bend 34 declarations — src/args: bolt's command line, parsed by shake. `bolt [lint] [file..]`,
• src/build_rev.bend 1 declarations — the short commit id of this build. Empty when the build has none.
• src/check.bend 17 declarations — src/check: `bolt check file..`: the checker (`bend`) on each file, its
• src/codes.bend 11 declarations — src/codes: the stable id of every rule. A bolt.bend still names the slug
• src/config.bend 33 declarations — src/config: what a project asks of bolt, read from the `bolt.bend` nearest
• src/finding.bend 5 declarations — src/finding: what a rule reports. Shown as `path:line:col: level: CODE:
• src/lazy/lazy.bend 4 declarations — lazy: branches that do not run both ways. Bool.pick, Bool.and and Bool.or
• src/lint.bend not loaded — src/lint: the interpreter for `bolt` itself. It starts from a World
• src/lint/plan.bend 65 declarations — src/lint/plan: `bolt` (the lint) as a pure planner. It reads a World
• src/lint/world.bend 24 declarations — src/lint/world: everything `bolt` reads, as one value. The planner
• src/lsp/checker/answer.bend 11 declarations — checker/answer: pure: what a run of the checker (bend.bend) gave for a file,
• src/lsp/checker/argv.bend 7 declarations — checker/argv: the runs of bend the real checker makes, as data. Pure: the
• src/lsp/checker/bend.bend not loaded — checker/bend: an effect (CPU event loop only): the diagnostics of the file
• src/lsp/checker/names.bend 7 declarations — checker/names: pure. The names bend gives the items of the file it
• src/lsp/docs.bend 7 declarations — lsp/docs: the open documents, by URI: what the editor shows, saved or not,
• src/lsp/enc.bend 29 declarations — lsp/enc: position encodings (LSP 3.17 `positionEncoding`), the one place a
• src/lsp/files/disk.bend not loaded — files/disk: the real file system. Reads bytes and decodes them itself, as a
• src/lsp/files/service.bend 6 declarations — files: an effect service: a file's text by path, where Base lives, and
• src/lsp/frame.bend not loaded — lsp/frame: LSP's base protocol, purely: `Content-Length: N\r\n\r\n` and then
• src/lsp/nav.bend not loaded — lsp/nav: from a name to the item it names. A use is answered as the binder
• src/lsp/path.bend 4 declarations — lsp/path: just enough path arithmetic to follow a relative import.
• src/lsp/proto.bend not loaded — lsp/proto: the messages the server sends, and the little it reads of a URI.
• src/lsp/report.bend 28 declarations — lsp/report: the checker's text, as diagnostics. bend prints an error as
• src/lsp/run.bend not loaded — lsp/run: the container; `bolt lsp` runs it. Native only: the JS lane
• src/lsp/semantic.bend 58 declarations — lsp/semantic: every token of a document classified for the editor's
• src/lsp/server.bend not loaded — lsp/server: the loop. The transport the messages ride on, the files
• src/lsp/transport/service.bend 4 declarations — transport: an effect service: one message body in, one out. H is the
• src/lsp/transport/stdio.bend not loaded — transport/stdio: LSP's base protocol over stdin and stdout. Reads bytes (a
• src/noqa.bend 39 declarations — src/noqa: `# noqa: CODE` comments, and the filter they make, after ruff.
• src/paths.bend 7 declarations — src/paths: what a path names, read by its segments, never by a suffix or a
• src/rules.bend 8 declarations — src/rules: every rule, and its group. A rule is a module under
• src/rules/calls.bend 34 declarations — src/rules/calls: what the recursion rules (pick, strict, tail, concat,
• src/rules/correctness/arms.bend 17 declarations — rule arms: a Nat arm no value can reach. `case kn+p:` matches every Nat
• src/rules/correctness/chars.bend 6 declarations — rule chars: a `match` with more than eight character-literal arms
• src/rules/correctness/escape.bend 18 declarations — rule escape: a string or char literal with `\0` then a digit, as in
• src/rules/correctness/foreign.bend 12 declarations — rule foreign: a foreign def (its body only `import "./x.c"` / `import
• src/rules/correctness/hole.bend 5 declarations — rule hole: a TODO hole left in code, the one bend counts in "N TODO found":
• src/rules/correctness/pick.bend 8 declarations — rule pick: a def calls itself in a branch of a `Bool.pick`. Bool.pick is a
• src/rules/correctness/put.bend 8 declarations — rule put: a call to `Map.put(`: among the significant tokens, a `Map.put`
• src/rules/correctness/strings.bend 13 declarations — rule strings: a `match` whose arms are string literals (`case "foo":`) with
• src/rules/correctness/twice.bend 8 declarations — rule twice: a list pattern in a def that calls itself, opening with the
• src/rules/digest.bend 42 declarations — src/rules/digest: one small reading of each file for the project rules.
• src/rules/imports.bend 19 declarations — src/rules/imports: paths and relative imports, as the project rules see
• src/rules/laws/closed.bend 4 declarations — rule closed: a law in a LAWS.bend with no `for`/`exs` binder. A law with no
• src/rules/laws/law.bend 15 declarations — rule coverage (project-wide; its module is law.bend, since `law` is a Bend
• src/rules/laws/trace.bend 60 declarations — rule trace (project-wide, opt-in): SPEC.md and the laws agree. SPEC.md,
• src/rules/laws/unsafe.bend 8 declarations — rule unsafe (project-wide): an `@unsafe def` that a LAWS.bend or PROOF.bend
• src/rules/pedantic/tail.bend 4 declarations — rule tail: a def whose first live parameter is a List or a String calls
• src/rules/style/doc.bend 9 declarations — rule doc: every top-level def, type and law has a comment block right above
• src/rules/style/noqa.bend 10 declarations — rule noqa: a noqa comment (src/noqa.bend) that silences nothing, as
• src/rules/style/param.bend 9 declarations — rule param: a parameter name shorter than 2 characters. A single uppercase
• src/rules/style/space.bend 8 declarations — rule space: trailing whitespace, a tab, or a line over 120 characters. The
• src/rules/style/wrap.bend 118 declarations — rule wrap: how a def header breaks. A one-line header wider than 120 must
• src/rules/suspicious/concat.bend 25 declarations — rule concat: a def passes itself a parameter grown at the end, `p ++ x` or
• src/rules/suspicious/eager.bend 10 declarations — rule eager: a branch of a `Bool.pick` calls a recursive def of the same
• src/rules/suspicious/fuel.bend 11 declarations — rule fuel: a call to a def of the same file, its name then `(`, passes a Nat
• src/rules/suspicious/hoist.bend 62 declarations — rule hoist: a fixed table built inside a def that calls itself, from inputs
• src/rules/suspicious/index.bend 5 declarations — rule index: a def that calls itself also calls `List.get(..)` or
• src/rules/suspicious/rewalk.bend 112 declarations — rule rewalk: one straight piece of a def calls the same walk twice on the
• src/rules/suspicious/ring.bend 29 declarations — rule ring: a self-call replaces a binder with `List.append` of `List.drop`
• src/rules/suspicious/strict.bend 10 declarations — rule strict: a def calls itself inside an operand of `Bool.and(..)` or
• src/rules/suspicious/table.bend 28 declarations — rule table: `List.get` or `List.set` at a computed index inside a def that
• src/rules/suspicious/unit.bend 25 declarations — rule unit: a multiply or divide by the literal one (`1`, `1n`, `1.0`) on a
• src/rules/suspicious/unused.bend 27 declarations — rule unused: a name bound by a let, a do-bind, a lambda, or as a parameter
• src/rules/tokens.bend 12 declarations — src/rules/tokens: helpers the token rules share (put, escape, nat, strings,
• src/src.bend 3 declarations — src/src: one file, read once and parsed once. A rule is handed this, not
• src/status.bend 1 declarations — src/status: a run's exit status. A run that found errors exits 1, so a
• src/stop.bend 3 declarations — src/stop: a Stop done (Args.out's decision to print and exit): a text on
• src/syntax/bind.bend 137 declarations — src/syntax/bind: where every name in a source is bound, and what every other
• src/syntax/lex.bend 79 declarations — src/syntax/lex: a source as tokens with positions. Lossless: every char lands
• src/syntax/outline.bend 99 declarations — src/syntax/outline: a source's top-level items, read line by line. A top-level
• src/syntax/tree.bend 69 declarations — src/syntax/tree: a source as a concrete syntax tree over its significant tokens:
• src/syntax/word.bend 24 declarations — src/syntax/word: the name under a (line, col), both 0-based. A name is letters,
• src/version.bend 1 declarations — bolt's release. The same number as editors/vscode/package.json and flake.nix.
• src/walk/disk.bend 9 declarations — walk/disk: an effect (CPU event loop only): the names directly in a

Other files

• LICENSE 1,074 bytes
• src/lsp/checker/exec.c 5,244 bytes
• src/lsp/checker/exec.js 723 bytes
• src/lsp/transport/fd.c 433 bytes
• src/lsp/transport/fd.js 151 bytes
• src/walk/cwd.c 518 bytes
• src/walk/cwd.js 264 bytes
• src/walk/dir.c 1,739 bytes
• src/walk/dir.js 609 bytes

Dependencies

• shake@0.4.0.0 via src/args.bend: import 0xcab8a7a189cec2b51e8db0484f69c593/main.bend as Shake
• emerging-ezjson@1.1.0.0 via src/lsp/enc.bend: import 0x81c67699424929b5c44cd8577e18117f/main.bend as Ezjson

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |

SOME PROOFS FAIL
Error: 4 defs rely on unsafe or foreign code:
- walkdir.entries
- entries
- walkdir.cwd
- cwd