vscode-tlaplus
vscode-tlaplus copied to clipboard
Support constant operators detection
The TlaDocumentSymbolsProvider
stumbles on operators while parsing constants and doesn't report them as model symbols. As a result, const operator names don't appear in the outline panel and in completion suggestions. Such operators also prevent parsing of the following constants.
A simple case:
CONSTANT Foo(_), Bar
Neither Foo
nor Bar
makes it to the model symbols list now.