Where is the LSP deployed from?

[AbhinavMir]

The VS Code marketplace just points to this repo, but I couldn't find the actual LSP source. I wanted to fork it and make some changes to it.

Cheers!

[PeterSewell]

https://github.com/rems-project/sail/tree/sail2/editors/vscode

…

On Thu, 21 Mar 2024 at 03:47, AbhinavMir ***@***.***> wrote: The VS Code marketplace just points to this repo, but I couldn't find the actual LSP source. I wanted to fork it and make some changes to it. Cheers! — Reply to this email directly, view it on GitHub <#479>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABFMZZQHKRFYVAMW3HXYGXTYZJJ4FAVCNFSM6AAAAABFAVLTR6VHI2DSMVQWIX3LMV43ASLTON2WKOZSGE4TSMBVGU2TQNY> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[AbhinavMir]

Thx, would switching to rewriting the LSP using TowerLSP make sense? And have it do more than what it can currently do? While the LSP right now is functional and helpful, I can't help but think we could do more with it, now that I'm working with sail long term.

[Timmmm]

I have a slightly more advanced extension here: https://github.com/timmmm/sail_vscode

Fixes some minor syntax highlighting issues, and adds very basic ad-hoc go-to-definition that works some of the time.