main.bend fails

raw source on the hub · import 0xd96f2ab40f5df4925c42e96d0ba857ff/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 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 say and leave do. Everything under src/ is internal.

5 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

The reader could not load this file (at 0xd96f2ab40f5df4925c42e96d0ba857ff/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 |