Andrew Lygin

I came across the same problem. It doesn't occur always, but it's easy to make it happen. I use `atom-build-cargo` and the minimum set of steps to reproduce it: 1....

@lemmy, could you, please, reproduce the error again and check the TLC output channel to see the full command line? Are there any problems with it? Could it be that...

Thank you! The cause of the problem is clear now. Expression evaluation is executed in a temporary directory, not in the original one. That's why a relative path has no...

> I'd rather not manage additional context @klinvill, why don't you like this approach? We already have [a couple of contexts](https://github.com/alygin/vscode-tlaplus/blob/917305bffb75fb82fd77218c1d8c0dead66689fd/src/commands/checkModel.ts#L20-L21). To me, this looks like the right way to...

BTW, it looks like we don't need an additional context, we can reuse `tlaplus.tlc.canRunAgain` to enable the command.

I'd pursue the 3rd option with introducing a result type and minor refactoring. I think adding a new command for this specific case doesn't look justified. A new command would...

@quaeler, thanks for putting your effort into adding this feature to the extension! And sorry for the late reply, things have been a bit disrupted recently. As a PoC it...

@andylokandy, @tmasternak, there's a [Wiki section](https://github.com/alygin/vscode-tlaplus/wiki) of the project with description of all the [provided settings](https://github.com/alygin/vscode-tlaplus/wiki/Settings), including a detailed description of how to set [Java options](https://github.com/alygin/vscode-tlaplus/wiki/Java-Options). But you're right, there...

But that means we also have to commit new tla2tools.jar to the extension repository every night automatically. Which means we'll always publish extension with the most recent, the least tested...

@magniff, there's an article in the project's Wiki that describes how to configure VS Code to parse modules automatically: [Automatic Module Parsing](https://github.com/alygin/vscode-tlaplus/wiki/Automatic-Module-Parsing). Unfortunately, the VS Code API doesn't allow an...