bolt/rules.bend fails
raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/rules.bend as Rules
bolt/rules: every rule, and its group. A rule is a module under
rules/<group>/ with check(src) -> List<Finding>, run over each file read
once (bolt/src.bend); a project rule has check(ds) -> List<Finding> and
sees every file at once, as the digests of rules/digest.bend. The directory
names the group, and group below says it again for the config.
Adding one is adding it here, and to group. The groups are what a
bolt.bend switches at once: correctness (what will fail or blow up),
suspicious (what is probably a slip), style, laws, and pedantic (advice
that is noisy on idiomatic code: off unless a project asks for it).
28 imports
import Base import ./finding.bend as F import ./src.bend as Src import ./rules/digest.bend as Digest import ./config.bend as Config import ./rules/style/doc.bend as Doc import ./rules/suspicious/unused.bend as Unused import ./rules/correctness/shadow.bend as Shadow import ./rules/correctness/hole.bend as Hole import ./rules/style/space.bend as Space import ./rules/correctness/pick.bend as Pick import ./rules/laws/law.bend as Law import ./rules/suspicious/strict.bend as Strict import ./rules/suspicious/eager.bend as Eager import ./rules/pedantic/tail.bend as Tail import ./rules/suspicious/concat.bend as Concat import ./rules/suspicious/index.bend as Index import ./rules/correctness/put.bend as Put import ./rules/correctness/escape.bend as Escape import ./rules/suspicious/nat.bend as Nat_ import ./rules/correctness/strings.bend as Strings import ./rules/correctness/chars.bend as Chars import ./rules/correctness/twice.bend as Twice import ./rules/correctness/arms.bend as Arms import ./rules/correctness/foreign.bend as Foreign import ./rules/suspicious/fuel.bend as Fuel import ./rules/laws/closed.bend as Closed import ./rules/laws/unsafe.bend as Unsafe
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}