bolt/finding.bend fails

raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/finding.bend as Finding

bolt/finding: what a rule reports. Shown as path:line:col: level: rule: message (line and col 1-based, as editors count), so a terminal can jump to it; an editor gets it as a diagnostic over len characters from the column (0: to the end of the line). The level is the project's (bolt.bend), not the rule's: a rule only finds.

2 imports

import Base
import ./config.bend as Config

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}