src/check.bend fails
raw source on the hub · import 0xd96f2ab40f5df4925c42e96d0ba857ff/src/check.bend as Check
src/check: bolt check file..: the checker (bend) on each file, its
errors in bolt's shape, path:line:1: error: message (bend reports no
column; a message's further lines are indented under it), then the count.
A file bend could not be run on is one error, path:1:1: error: could not
run bend, and never clean.
What a check prints and how it exits is out's decision over what bend
reported (src/LAWS.bend proves it); run only does it.
5 imports
import Base import ./status.bend as Status import ./lsp/report.bend as Rep import ./lsp/checker/answer.bend as Checker import ./lsp/checker/bend.bend as BendChecker
The reader could not load this file (at 0xd96f2ab40f5df4925c42e96d0ba857ff/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 |