On 25.08.2024 at 23:51, Bilge wrote: > If you believe I am incorrect about this, I encourage you to submit a > (working) Bison patch to demonstrate how a restricted expression grammar > subset can still recurse with the unrestricted superset, then we can > start having this discussion more seriously.
It seems to me that the restriction does not have be enforced by the parser, but *could* be enforced during compilation of the AST. If that *should* be done, is a different question. Christoph
