Andrew Helwer
Andrew Helwer
@theHamsta could you please rebase this PR on top of the latest changes in master branch so I can start working off of it?
@theHamsta any sort of incremental scope update will be very difficult to do. Consider a TLA+ file like: ```tla ---- MODULE Test ---- def1 == x def2 == y def3...
@theHamsta you're looking for someone to finish #1120? What remains?
Don't think this is very useful in the era of ubiquitous automated version control systems.
@alygin did you fork https://github.com/agentultra/TLAGrammar (same as what github uses) or write your own textmate grammar for highlighting? I don't know whether the github grammar is really being maintained. You...
@alygin check it out! Progress https://tlaplus-community.github.io/tree-sitter-tlaplus/
@will62794 yeah the tree-sitter grammar properly parses proofs with levels and so forth. Proof folding/hiding is implemented in Neovim already through the nvim-treesitter plugin. What is this coloring you refer...
Of note, tree-sitter doesn't really reject specs; it will provide as good of a parse as it can get, and end up looking something like (sample taken from different language):...
Yes, SANY remains authoritative. Tree-sitter doesn't even have the capability to print error messages or anything, it's purely designed to support language tooling. I don't think my list of use-cases...
Oh hey neat, that must be new! People have been asking for native vs code support for tree-sitter for a while now. Guess this is the compromise.