This pull request updates the LSP server implementation to use the latest version of Ionide.LanguageServerProtocol and StreamJsonRpc, and adds a custom error handler for the JsonRpc communication. These changes fix a bug, improve the features, and increase the reliability of the LSP server.
🤖 Generated by Copilot at 1f36429
LSP serverJsonRpc errors handledWinter bug fixes
🐛🚀🛠️
WHY
Fixes #1186
HOW
🤖 Generated by Copilot at 1f36429
Update Ionide.LanguageServerProtocol dependency to fix request cancellation bug (link in paket.dependencies)
WHAT
🤖 Generated by Copilot at 1f36429
This pull request updates the LSP server implementation to use the latest version of
Ionide.LanguageServerProtocolandStreamJsonRpc, and adds a custom error handler for theJsonRpccommunication. These changes fix a bug, improve the features, and increase the reliability of the LSP server.🤖 Generated by Copilot at 1f36429
🐛🚀🛠️
WHY
Fixes #1186
HOW
🤖 Generated by Copilot at 1f36429
paket.dependencies)