main.bend fails

raw source on the hub · import 0xde9bb08f7de298b03207fb5797ede9a5/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 0xde9bb08f7de298b03207fb5797ede9a5/src/config.bend:32). What bend.ts says:

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
31 | # a name (a group's or a rule's) at a level
32>| type Set is Data:
   |      ^^^
33 |   Set{name: String, level: Level}