src/lint.bend fails
raw source on the hub · import 0x013e0f9a479bbebad5ed196725eede95/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 0x013e0f9a479bbebad5ed196725eede95/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 |