Repeated Diagnostic Messages in coc.nvim with Verible Language Server about verible

[hzeller]

On every change of the file, the diagnostics are updated. It seems like your editor does not coalesce these ?

There are also two mechanisms diagnostics can be received:

• the default by Verible is to publish new diagnostics whenever some change happens in the file (textDocument/publishDiagnostics)
• It also seems that your editor is requesting diagnostics independently (textDocument/diagnostic), so maybe this is where things get merged and show up multiple times ? Is the "disabledFeatures" configuration switching the explicit request off ?

So things do look like they work as intended, just that the editor does not remove the duplicates.

I'll have a look if it is possible by the editor to request not auto-publishing diagnostics when it actually does the request by itself (maybe there is a setting the editor can send to the language server).

But you should probably also file an issue with your editors' language server implementation to make sure they coalesce the identical diagnostic messages properly or ignore diagnostic notifications when they already request

[TBD9rain]

The "disabledFeatures" configuration doesn't switch the explicit request off. I think it just diabled one of the messages from diaplaing.

I will file an issue with the language server implementation plugin as well.

[fannheyward]

Is the "disabledFeatures" configuration switching the explicit request off ?

The disabledFeatures made coc.nvim ignore publishDiagnostics one.

verible server files the capabilities with diagnosticProvider, coc.nvim will use pull mode to request to server for diagnostics.

I think the server shouldn't use both publishDiagnostics and diagnosticProvider at the same time, or use publishDiagnostics on document didOpen only, and pull mode for onSave and onChange.