src/rules/laws/closed.bend fails

raw source on the hub · import 0xde9bb08f7de298b03207fb5797ede9a5/src/rules/laws/closed.bend as Closed

rule closed: a law in a LAWS.bend with no for/exs binder. A law with no binder holds for the one input it names, which makes it a unit test the checker runs, not a guarantee, and that is so for an equality ({lhs == rhs : T}, including IO(T)) as much as for anything else. Nothing exempts a closed law: quantify it, or delete it. Laws outside LAWS.bend are not held to it.

7 imports

import Base
import ../../paths.bend as Paths
import ../../src.bend as Src
import ../../finding.bend as F
import ../../syntax/tree.bend as Tree
import ../../lazy/lazy.bend as Lazy
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}