-
Notifications
You must be signed in to change notification settings - Fork 10
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
What do you think of idris2-lsp-vscode? #75
Comments
It's cool. My assumption is that it will replace this extension when the language server catches up. I haven't been following the progress of the language server recently, but the last time I looked there was still quite a bit to do, I need to check on it again. Possibly the two can complement each other in the meantime. I haven't looked at the semantic highlighting for source in a while, I remember it was a bit problematic. The IDE Protocol only works with files on disk. It's easy to do the initial highlighting but not easy to keep it updated when you start typing. Off the top of my head I could
but I didn't like any of those options. I'm guessing the language server is keeping it in memory and re-parsing on each update. |
I won't recommend using both extensions at the same time. Unfortunately even the Idris API doesn't support working with unsaved files. The server relies on the client (VSCode) to shift the highlights as edits are made. |
Do you mean that extension supports semantic highlighting already, or just that the Language Server does? I'm thinking about taking another stab at this. It wasn't a priority before because the v2 ide-mode wasn't sending the semantic metadata, but it is now for most messages, so it could be worth doing. |
VSCode supports semantic tokens and so does the language server. The extension is fairly minimal and just connects VSCode to the language server. To support features not covered by the LSP spec the code would have to be added to the extension. When the client asks for semantic tokens about a document that is different than is on disk, the server sends |
What do you think of idris2-lsp-vscode?
It supports semantic highlighting of Idris source files.
The text was updated successfully, but these errors were encountered: