Skip to content
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

Implement pull-based diagnostic requests #396

Merged
merged 4 commits into from
Aug 11, 2023

Conversation

ebkalderon
Copy link
Owner

@ebkalderon ebkalderon commented Aug 11, 2023

Added

  • Implement textDocument/diagnostic server request.
  • Implement workspace/diagnostic server request.
  • Implement workspace/diagnostic/refresh client request.

Changed

  • Update to lsp-types 0.94.1.

Fixed

  • Fix broken Markdown in doc comment for LanguageServer::completion() method.
  • Update "proposed features" section in README.md.

This pull request upgrades our lsp-types version in response to gluon-lang/lsp-types#258 finally getting merged upstream. It also brings tower-lsp up to full compliance with LSP version 3.17.0, at last. 🎉 At least, technically minus notebook support, which appears to be an incredibly niche feature at the time of writing.

Closes #374.

This version includes missing requests, types, and other changes needed
for full LSP 3.17.0 compatibility.
This commit implements the following new requests:

* textDocument/diagnostic (client-to-server)
* workspace/diagnostic (client-to-server)
* workspace/diagnostic/refresh (server-to-client)
The upcomnig version of the LSP specification is now 3.18. Version 3.17
was stabilized long ago.
@ebkalderon ebkalderon self-assigned this Aug 11, 2023
@ebkalderon ebkalderon merged commit 2a8aaa0 into master Aug 11, 2023
22 checks passed
@ebkalderon ebkalderon deleted the implement-missing-lsp-3.17.0-requests branch August 11, 2023 02:29
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.

Implement support for diagnostic requests on server
1 participant