[diagnostics] Add sentence's range to errors extra `data` field.

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

152 stars 31 forks source link

Closed ejgallego closed 6 months ago

ejgallego commented 6 months ago

We change diagnostics extra field to data, so we now conform to the LSP spec
we include the data only when the send_diags_extra_data server-side option is enabled
we now include range of full sentence in error diagnostic extra data

Thanks to @driverag22 for the idea, cc #663