Is there a way to automatically generate a BNF grammar for documentation from a syntax class or a syntax-parse definition, or is it the case that the BNFs for documentation must be written by hand?

Not that I am aware of, though it is always nice to automate things like this. Wanna try to implement it?

Hm… My naïve solution would be to write wrappers for syntax-parse, define-syntax-class, &c. that extract the grammar and builds a BNF from that. Unless that’s a bad approach, I’d be willing to give it a shot.

That’s exactly how I would do it too!

So go for it :slightly_smiling_face: