tlaplus-community / tree-sitter-tlaplus

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

Added query files & tests for github integration #55

Closed ahelwer closed 2 years ago

ahelwer commented 2 years ago

This adds the query file for github to use this grammar with syntax highlighting in TLA+ files. Also added generalized tests for .scm files to the CI, so new .scm files don't have to be added to the CI explicitly. Integration query files were moved to the integrations directory to distinguish them from the queries files which are really only used with the tree-sitter highlight command.

Capture names currently supported by GitHub can be found here.

ahelwer commented 2 years ago

cc @susliko take a look at these queries for github.

P.S. I noticed somehow (escape_char) is no longer in the neovim queries for whatever reason, so I added it back.