src/lint.bend fails

raw source on the hub · import 0xde9bb08f7de298b03207fb5797ede9a5/src/lint.bend as Lint

src/lint: the interpreter for bolt itself. It starts from a World holding the paths it was given and the working directory (src/lint/world.bend), then loops: it asks the planner (src/lint/plan.bend) what is still open, answers each question by IO, a directory listed through src/walk/ and a file read through src/lsp/files/ (a path src/walk/ calls a directory is answered as one, not read), and adds the answers to the World, until nothing is left to ask. Then it prints the planner's lines and exits with its status. It decides nothing: which files are linted, which bolt.bend grades each finding, and what is printed are the planner's. That it answers and prints faithfully is BOLT-TRUST-9.

7 imports

import Base
import ./lint/world.bend as W
import ./lint/plan.bend as Plan
import ./lsp/files/disk.bend as Disk
import ./walk/disk.bend as WalkDisk
import ./status.bend as Status
import ./lazy/lazy.bend as Lazy

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}