search

idris-community / idris2-lsp

Language Server for Idris2
BSD 3-Clause "New" or "Revised" License
164 stars 33 forks source link

[log] Lazy logging and severity. #192

Closed andorp closed 1 year ago

andorp commented 1 year ago

Introduces lazy logging with severity checking.

The client can set its desired log severity level using the logSeverity field in the initialization parameters. In regular LSP operation, the logs should only show errors and critical. During the development of the LSP itself, I would like to see all the related information. Before this PR, the only way to achieve this was the recompilation of the LSP server itself.

ShinKage commented 1 year ago

Can you also update the compiler version in the submodule? You will need to remove the Foldable and Traversable implementations for pairs in Language.LSP.Message.Utils.

andorp commented 1 year ago

Can you also update the compiler version in the submodule?

I rebased this PR on the main branch, which should have that change already.