Closed nicdard closed 1 year ago
https://github.com/Microsoft/vscode-languageserver-node#3170-protocol-800-json-rpc-800-client-and-800-server
@mR4smussen can we close this too?
Yes, this was solved by https://github.com/flix/vscode-flix/pull/204 and vscode-languageserver was updated to 8.0.2 in https://github.com/flix/vscode-flix/pull/236
https://github.com/Microsoft/vscode-languageserver-node#3170-protocol-800-json-rpc-800-client-and-800-server