aboutsummaryrefslogtreecommitdiffstats
path: root/test/pattern/matcher.scm (follow)
Commit message (Collapse)AuthorAgeFilesLines
* move utils to new library, emit ellipsis dag from matcher compilerGravatar Peter McGoron 2025-04-261-11/+42
| | | | | | | The compiler now returns a DAG implemented as a hash table. The keys are ellipsis group IDs and the values are lists of ellipsis group IDS. When a producer encounters a repeated form, it uses the information in this DAG to confirm that the production is valid.
* document pattern matcher, add ellipsis groupsGravatar Peter McGoron 2025-04-261-48/+37
| | | | | | | | | | | | | | | | | | | | | Add precise definitions, with examples, for concepts like the ellipsis nesting level. This should clarify what the matcher is doing. They should apply to any implementation of the Macrological Fascicle's description of patterns. This also adds ellipsis grouping. This is used to determine which identifiers are allowed to be repeated with each other in output. TODO: The concept of group needs to encompass nested identifiers. For instance (let-values (((name ...) value) ...) body ...) does not allow ((name ...) body ...) but the current system does not handle this.
* reorganize pattern moduleGravatar Peter McGoron 2025-04-251-0/+239