Implement textDocument/diagnostic for synchronous update

[ddickstein]

It would be nice for clients to be able to send a synchronous request and know that when it returns the diagnostics for the buffer are up-to-date.

[rgrinberg]

What about using "pull diagnostics" to just ask for the diagnostics for a document. That would return all diagnostics and you would know they are up to date.

EDIT: I think that's exactly what you meant

[ddickstein]

I thought this request was exactly how you’d do that. What are you describing when you say “pull diagnostics” and how does it compare with this request?

…

On Thu, Jul 4, 2024 at 5:53 PM Rudi Grinberg ***@***.***> wrote: What about using "pull diagnostics" to just ask for the diagnostics for a document. That would return all diagnostics and you would know they are up to date. — Reply to this email directly, view it on GitHub <#1327 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAGD5T2B4TVJAT7DGZCFLNDZKW735AVCNFSM6AAAAABKMEYJHOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDEMBZGU4TCOBYGE> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[rgrinberg]

The group of requests/notifications defined in 3.17 for a "pull" based model of diagnostics https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_pullDiagnostics

textDocument/diagnostic is a part of that I believe