ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
137 stars 31 forks source link

[fleche] Improve toc to return nodes instead of ranges. #711

Closed ejgallego closed 2 months ago

ejgallego commented 2 months ago

This is a big improvements for plugins that often use the toc as a document access point, for example to do speculative execution.

We also add an option node.prev field, which is very useful to go back on document nodes when these where obtained by some other method.