bolt/main.bend fails

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

bolt: the one binary. Its first argument picks what runs: 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. Build it native (bend bolt/main.bend -o bin/bolt.bin), and run the server on the cores (bolt lsp --gpu off): the runtime takes --gpu out of the line itself.

5 imports

import Base
import ./args.bend as Args
import ./lint.bend as Lint
import ./check.bend as Check
import ./lsp/run.bend as Lsp

The reader could not load this file (at 0x729eecea86ea5a2cdba3a2856a313bca/bolt/config.bend:31). What bend.ts says:

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