Skip to content

LSP server, initial framework - #1548

Merged
mn200 merged 5 commits into
developfrom
lsp
Jul 8, 2025
Merged

LSP server, initial framework#1548
mn200 merged 5 commits into
developfrom
lsp

Conversation

@digama0

@digama0 digama0 commented Jul 7, 2025

Copy link
Copy Markdown
Contributor

Currently it doesn't actually do anything, but this implements:

  • a --lsp flag to start the server
  • a multithreaded backend which dispatches request jobs
  • parsing for the LSP protocol for a few commands:
    • hovers
    • go to definition
    • $/eval, a custom LSP extension which will be used to run SML code from the client

@mn200

mn200 commented Jul 8, 2025

Copy link
Copy Markdown
Member

Neat!

@mn200
mn200 merged commit b229010 into develop Jul 8, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants