search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

Initial support for TLAPS. #306

Closed kape1395 closed 1 year ago

kape1395 commented 1 year ago

That's a draft. The code is there, but it fails to start. I'm out of ideas for fixing this. The plugin fails now with

Activating extension 'alygin.vscode-tlaplus' failed: The language client requires VS Code version ^1.82.0 but received version 1.83.1.

The same language client ("vscode-languageclient": "=9.0.0") works in https://github.com/kape1395/tlapm/tree/lsp/lsp/test/tlapm-lsp-test, but here it fails to start. My local vscode version is 1.83.1. It should match the ^1.82.0 pattern but fails to do that. I fixed the exact version to match the one I used for the LSP tests, but that doesn't help.

You can test it by changing the setting tlaplus.tlaps.enabled to true. The tlapm is not even needed, as the failure happens before trying to call it. @lemmy , any ideas would be appreciated.

lemmy commented 1 year ago

@afonsonf I believe this question is more up your alley?!

afonsonf commented 1 year ago

I will take a look