src/lsp/checker/bend.bend fails

raw source on the hub · import 0x013e0f9a479bbebad5ed196725eede95/src/lsp/checker/bend.bend as Bend

checker/bend: an effect (CPU event loop only): the diagnostics of the file at a path. It runs bend on the file and reads its report. Which runs it makes is argv.bend's, and what its output answers is answer.bend's, both pure; this file only performs them. service hands it to the server and to bolt check, which take the checker as a service and never import this file, so their proofs reach no foreign code.

6 imports

import Base
import ./answer.bend as S
import ./argv.bend as Argv
import ../report.bend as Rep
import ./names.bend as Names
import ../files/disk.bend as Disk

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 |