search

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Expose highlights and locals queries in Rust crate. #102

Closed patrickt closed 6 months ago

patrickt commented 6 months ago

GitHub’s syntax highlighting service is switching from submodule-based dependencies to ones pulled from crates.io, but for this to work we need to expose the query files’ contents.

ahelwer commented 6 months ago

Could you bump the package.json version to match?

patrickt commented 6 months ago

@ahelwer Done!

patrickt commented 6 months ago

Thank you! It will be a while before we can pull this in proper, as we have to get all our dependencies to tree-sitter 0.22… but that’s our problem, not yours 😄