How do I use sets in config file?

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

How do I use sets in config file? #219

Closed anton-trunov closed 3 years ago

anton-trunov commented 3 years ago

For instance, how do I define something like this?

CONSTANT
    Foo = 0..42

lemmy commented 3 years ago

You can't because TLC's config file doesn't support arbitrary expressions. This is why the Eclipse-based Toolbox generates an MC.cfg and an MC.tla file. Related #159

Alexander-N commented 3 years ago

See https://stackoverflow.com/questions/59101827/ for how to manually create these MC files.

alygin commented 3 years ago

@anton-trunov, I hope the answers helped.