main.bend fails

raw source on the hub · import 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/main.bend as Main

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

The one binary. Shake parses the line: lint, or a word that is no subcommand, or nothing, lints the files named after it (every .bend file under the current directory when none are); check runs the checker on them; lsp serves an editor over stdio; help (or --help) prints usage; --version prints the release and the short commit when the build has one. Build it native (bend main.bend -o bin/bolt.bin). bolt lsp runs on the cores: with no --gpu it is --gpu off, and --gpu on or --gpu 4GB asks for the device. The runtime takes --gpu out of the line itself. What the line does is Args.out's decision (src/LAWS.bend proves it); this file only does it, and LAWS.bend states what src/stop.bend's say and leave do. Everything under src/ is internal.

7 imports

import Base
import ./src/args.bend as Args
import ./src/lint.bend as Lint
import ./src/check.bend as Check
import ./src/lsp/run.bend as Lsp
import ./src/lsp/checker/bend.bend as BendChecker
import ./src/stop.bend as Stop

The reader could not load this file (at 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/lsp/frame.bend:295). What bend.ts says:

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 |