Stream: Coq devs & plugin devs

Topic: Grammar railroad diagram


view this post on Zulip Ali Caglayan (Jul 15 2021 at 16:10):

We have kindly had a railroad diagram generated for us for the coq grammar:
diagram.xhtml
from this issue:
https://github.com/coq/coq/issues/14575

Might it be something worth having around as documentation?

view this post on Zulip Théo Zimmermann (Jul 15 2021 at 16:15):

I personally don't understand any of this.

view this post on Zulip Théo Zimmermann (Jul 15 2021 at 16:15):

And note that we already have our own tool to sync the parser and the documented syntax.

view this post on Zulip Ali Caglayan (Jul 15 2021 at 16:19):

Did you see the flow diagrams? I thought they might be useful.

view this post on Zulip Théo Zimmermann (Jul 15 2021 at 16:48):

Maybe that's because I don't know enough about parsing but it was a bit difficult for me to decipher those. I'm more used to the way we document the grammar in the manual.


Last updated: Oct 15 2021 at 20:02 UTC