src/config.bend fails

raw source on the hub · import 0xde9bb08f7de298b03207fb5797ede9a5/src/config.bend as Config

src/config: what a project asks of bolt, read from the bolt.bend nearest a file (its own directory, resolved against the working directory by home, then each parent up to the root: chain, read by the caller, then nearest). The file is plain Bend that bend can check: a def a setting, its body one string. A group sets every rule in it, a rule set by name wins over its group, and an unset group has its default (correctness at error, pedantic off, the rest at warn):

# every rule an error def correctness() -> String: "error" def style() -> String: "error" # but width is advice here def space() -> String: "warn"

A level is "off", "warn" or "error".

5 imports

import Base
import ./lazy/lazy.bend as Lazy
import ./syntax/lex.bend as Lex
import ./syntax/tree.bend as Tree
import ./syntax/bind.bend as Bind

The reader could not load this file (at 0xde9bb08f7de298b03207fb5797ede9a5/src/config.bend:32). What bend.ts says:

Error:
- expected : a fresh name (duplicate declaration: Set)
- observed : 'Set'
Location:
31 | # a name (a group's or a rule's) at a level
32>| type Set is Data:
   |      ^^^
33 |   Set{name: String, level: Level}