highlights.scm: @boolean -> @constant.builtin.boolean, @repeat -> @keyword.control.repeat about lean.nvim HOT 4 CLOSED

BTW, I'm absolutely planning on providing the patch, just wanted to talk before I threw something over the wall. Thanks for the quick feedback.

from lean.nvim.

Hi there! Thanks for the issue.

I'm not sure @constant.builtin.boolean works in neovim -- are you sure it does? At least according to :h treesitter-highlight-groups the examples show @constant.builtin but for boolean they show @boolean.

On the other hand, work on tree-sitter-lean is effectively stalled (on the grammar being too big to use) which means I basically am not actively working on any of those queries unfortunately...

from lean.nvim.

Wow, https://neovim.io/doc/user/treesitter.html#treesitter-highlight really doesn't align with the highlight.scm files over in https://github.com/tree-sitter.

For example, https://github.com/tree-sitter/tree-sitter-ruby/blob/master/queries/highlights.scm uses @function.method not @method, @variable.parameter not @parameter. Clearly I am missing some magic here, I'll dig in. Thanks for the reference, that's really useful.

from lean.nvim.

Closing this given the above, but yeah if there's something here that can help and that also is correct for nvim, obviously happy to merge a PR, just unlikely to look at doing this myself unless tree-sitter-lean becomes viable again! Appreciated though.

from lean.nvim.