Q. Are you interested in syntax diagrams for Dhall?

[greggirwin]

I've meant to do it for a long time, but the ABNF tripped up our tool's ABNF metagrammar. I finally hacked things a bit to get a render, but not sure if you're interested. Rough in a couple places, with at least one thing that looks like a glitch. but here's the idea (zipped so GH won't try to render it in chat).

dhall.zip

Can be rendered as separate rules, for inclusion in targeted docs. Also, ABNF makes for some pretty ugly diagrams where strings are mapped to chars.

[Gabriella439]

How is the ABNF diagram generated? If it's something that could be generated in CI I'd be open to including it in the website's reference section.

[greggirwin]

Our DiaGrammar tool is a Windows app with GUI and CLI interfaces. Need to see what trips it up on the Unicode char ranges in the ABNF for automation. I had to translate it to our native grammar for this render.

[Gabriella439]

Oh, I see. It would probably be difficult to incorporate a Windows application into our CI (which is Linux-based), so we probably won't be able to make use of this

[greggirwin]

OK. Feel free to use what I posted if you want, until the grammar changes. :^)

[MonoidMusician]

Here's another tool that can be used to diagram BNF grammars:

https://github.com/katef/kgt/

I haven't used it myself, but I know someone who is using it.

[greggirwin]

They have an open ticket for Dhall'grammar: katef/kgt#51 Similiar issues that I ran into and had to work around.