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

Add support for textDocument/diagnostic, workspace/diagnostic (3.17) #258

Merged

Conversation

ebkalderon
Copy link
Contributor

Added

  • Add support for textDocument/diagnostic request (link).
  • Add support for workspace/diagnostic request (link).
  • Add support for workspace/diagnostic/refresh request (link).

Changed

  • Change url_map() to be generic over the HashMap value type, making this code reusable in textDocument/diagnostic.
  • Add diagnostic field to WorkspaceClientCapabilities struct.
  • Add diagnostic field to TextDocumentClientCapabilities struct.
  • Add diagnostic_provider field to ServerCapabilities struct.

It turns out these new 3.17.0 requests were unfortunately missed in PR #255.

In the process, we also make the `url_map` serializer/deserializer
generic over the `HashMap` value so we can reuse it in this request.
@ebkalderon ebkalderon changed the title Add support for textDocument/diagnostic and workspace/diagnostic (3.17) Add support for textDocument/diagnostic, workspace/diagnostic (3.17) Feb 28, 2023
@flyingmutant
Copy link

@Marwes sorry for the ping, can you please take a look? This is an unfortunate omission in the 3.17 support. Thanks a lot for all your work on lsp-types!

@Marwes Marwes merged commit af4f8e0 into gluon-lang:master Aug 7, 2023
@Marwes
Copy link
Member

Marwes commented Aug 7, 2023

Looks good! Released as 0.94.1.

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.

3 participants