`cfg-parser` BNF inaccurate wrt implementation
Opened this issue · 0 comments
jasonhemann commented
IIUC, the syntax block for the cfg-parser
says that it takes 0 or more clauses, where a clause is any one of those 6 options. It seems that cfg-parser
requires at least one clause, and necessarily a grammar
clause at that, to even generate valid syntax. Furthermore, I believe the grammar
form claims it admits parse rules for 0 or more non-terminals, but the implementation requires at least one parse rule, and I believe that each RHS actually requires one or more grammar-ids, rather than 0 as stated.
See:
parser-tools/parser-tools-doc/parser-tools/parser-tools.scrbl
Lines 722 to 734 in 4afd434
*IIUC