[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] TLA+ tree-sitter grammar updates

Yes, snippets broke when the new grammar rolled out.  I reported [1] a bug, but nothing has happened.


[1] https://support.github.com/contact/bug-report

> On Jul 2, 2022, at 8:44 PM, Willy Schultz <will62794@xxxxxxxxx> wrote:
> Did Github's switch over to the tree-sitter grammar affect the way Markdown code snippets of TLA+ are highlighted? It seems that now TLA+ snippets in Markdown aren't highlighted unless they are contained within a full module e.g see here. I could be mistaken, but I seem to recall that in past these snippet blocks would highlight TLA+ expressions even if they weren't enclosed within a full module definition.

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/F3679534-73D1-450C-B5C0-0D1A52B5A191%40lemmster.de.