[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA+ tree-sitter grammar updates
- From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
- Date: Sun, 3 Jul 2022 07:24:41 -0700
- Ironport-data: A9a23:x1bwu6tqy+GZ8quSis1OcsX8RefnVNVbMUV32f8akzHdYApBsoF/q tZmKWDVbPfYamT9fo1wOtvjpEJX6sTSnN9jTlBl+ShjRC9BgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g527BVPyvX4 Ymo+5KHYwf8s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnaCXTlkjAY7So7hDAhUCGTpQM4sZ2qCSdBBTseTLp6HHW37lwvErCENveINBqrsxDmZJ+ vgVbjsKa3hvhcrsmOP9GrQq3JxzapC7YevzuVk4pd3dJeoiSIjHXr6J79lT9hwQtPhhLdruT uMjQx9ASi2aRzRqFW46M6wRp92It1HwdDpXrF+av60q+3OVxwt0uFToGIOFJoTUHJgO9qqej knl+EbCDUsID9jBimqKsS+TjOGMlyyuDer+E5XhrqIw6LGJ/UQfCQYdSECgieW9gwi7QMgaK koO+yNorK4o9UXtQMOVYvGjiHuNvxpZX9gJVuNjuFzLxa3T7AKUQGMDS1atdeDKqucKYjt03 GCqgei1W21j6reOZ3y7qZWL+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7l5jESMWGgq w1mvBTSlJ1I0pFWj/TTEUTvxmPz9sKQH2bZ8y2OBjr9hj6VcrJJcGBB1LQ2xfNJLYLcSlvY+ XZdy5XY4+cJApWA0ieKRY3h/Y1FBd7ba1UwYnY1R/HNEghBHVb/Iei8BxkidC9U3j4sI2OBX aMqkVo5CGVvFHWrd7RrRIm6Ft4ny6Ptffy8CK2KMYoQPMIsKlXelM2LWaJ29zC9+KTLufFvU ap3je7xZZrnIf86k2buHLt1PUEDn3Bmnj+7qW/HI+SPiOLCPhZ5uJ8KN1yBau1R0U93iFS9z jqrDOPbm313CbWgCgGOqN57BQ1UcBATWM+uw+QKJr/rClc3RAkJVq6BqZt/IdANt/oOzY/go CrtMnK0PXKk7ZExAVjWMS8LhXKGdc0XkE/XygR2Zwz4hSV/O9r2hErdHrNuFYQaGCVY5aYcZ 5E4lw+oWJyjkxzLpGYQa4fTtotneEj5jA6CJXP7Mjc4eJFkSgPT/cL8ZU3k8yxXVni7ss43o ruB0ALHQMtTHF87V5mIN///nUmsuXU9mf5pWxeaKNdkfkixopNhLDb8j6NqLsxVcUfDyzKW2 hy4GxAdoeWR8YY5/MOQ3PKAooKsCPdzBAxWEjCDv7qxMCDb+EulwJNBCbrZI2qCCTmsoKj7P Ldb1fDxNvEDjW1miYskHuY517866vvuu6ReklZuEkLNYgn5EbhnOHSHgZRCu6AUne1ZtAK6V 1i198FeKKmOPM+5QlcdKBB8MLaM0vYbnjTd9/MoOF687yhypeLVXUJXNhiKqSpcMLokYNh+m Lx+5pEbu16llx4nEtealSQIpW6CGXoNDvc8vZYADY631wcmxw0QYZHYDSOqspiDZ88WbhsvK z6Qwa7A3vFSnxqfNXU0EnfJ0KxWgpFX4EJGy1oLJlKonNvZh69ogEcAr2xvFgkFnA9a1+9TO 3RwMxEnL6u5+To11tNIWHqhGl0cCRDIqEjw0Ec0knbERU2kCj7EIGEnZ7bf+UkY935bLDdc+ 76cxWn/VivyZ4T01y07VkMm8KOzHIAsqF2dwZn5XNmDBIQwejH/g6WjTWUPrBTjDMwrg1Dfv q9h++MpMf/3MisZoqsaDYiG1OVAE0vdfzMcHvwxrrkUGWz8eS2p3WTcIU6GfM4QdefB9lW1C pAzK89DC0a32CqU8mFJBbIQO6Qm27km/t0fYqitKmkBvL+S6DFutdXf7C/jnCg3R9x2ldsmb ZjMfSmJCG2aiHZZxz3XoM9fNjbqaNUIflegjuW88eFME5Ba9e81IRx03byzsHGYdgBg+kvM7 g/EYqbXyc1kyJhtz9SwSPQdX13sJIOhTvmM/SCyr89KMYHFP/DIul5HsVLgJQlXYeYcVtkfe W5hazIrMJ4pfYraUlw1X7GEHqhNoMGwBa9Za5KqanZdmiSGVYnn5B5rF6VU73BWuIs12yVlb 1LQhAiMmRo9VNBay3lYZDJZDg4GTa/wa88MYAuj+u+UBEF1PRPvdbuaGLyAUY2fXiAPPJL6B wDuvOu2/ZZTq4Ek6NrowR15K8cQHWIPkpfKuzE8Wfd0w4Vobp6/VmPeqCcd
- Ironport-hdrordr: A9a23:RIgXGalUWhhgOs/djd0GRYJYTjDpDfNjimdD5ihNYBxZY6Wkfp +V8IVi6fakslthIU3Ix+rrSc+9qBTnhOBICOgqTMiftWzd11dAQ7sSnrcKrweQZxEWs9QtoZ uJncBFeZ7N5XYTt7e73OD6Kadt/DG/mJrYxNs2tk0dDz2D3spbnkpE43igYzpLrXh9dOsE/c Gnl4B6TlObEBx9H6DLfQh5YwXanaywqHulW291O/dA0njEsdqG0t/H+nOjr2cjul10sMIfGa msqX2d2kxhiZGGI93nuVM6X/9t6ZXcIxd4da+xYsV/EESltu5ZD74REoFqdQpFwpDJ1H8a1O LXuh8lMoBK93/MciWUrHLWqn/d+Qdr0WbrzRuzgHfoo8D1ABI8T+Rbg55BGyGppHYdgA==
- Ironport-sdr: bAMnNQUotxcY+7DoS8pMqP449QOu/tD2WoWH3GeoVny0lATJRSLaJlg9PGip529SPbfp9887uS 2Swms8kSGkcfbQmq1ZEdOWNmxF3Gei3uInv8cNBkzFy+Q7fBBuskC01K81mX2Y6DHXSPvY0jBf xa7sgh9/LEdAXb9WwU/I+UuyqJl+KAsKpt35lJ5AwvPXDefnvK5HP4Th87De2GPGgRFRJ737Vj 1ZGEvFL92uAOeTrLEcwiVaSKvFhEAJs/DfZ2vqoga984ya9zSGhoxN+lhOURnM1DefI7z994mt SPBOSRd5CtJ5EfMbaBr52dcv
- References: <3d6f7f89-1918-4e2e-b35d-ba157a93c472n@googlegroups.com> <478bd548-be02-457a-8b10-a18120bf243bn@googlegroups.com> <CACOwAZtNo57AGyy4ZZgtTgD69PHq9pvXNhbA1F+FCLimu1sA_w@mail.gmail.com> <fc93eede-34dd-4d4f-bf42-f1ca829b9580n@googlegroups.com> <2969878e-0e57-42ba-a6c4-73ac5582f9a6n@googlegroups.com> <13269d18-4665-4422-b087-3899eff12d0cn@googlegroups.com> <36cbe6da-14a0-4667-8a05-1f84214e7d01n@googlegroups.com> <CACOwAZviENKFwSk7vv+_TH0o3KAduJzi0z5huHmY-FenDFBKXw@mail.gmail.com> <3a79ce38-c6dd-4fed-97b8-f14374747917n@googlegroups.com>
Yes, snippets broke when the new grammar rolled out. I reported [1] a bug, but nothing has happened.
Markus
[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.