vscode-tlaplus
vscode-tlaplus copied to clipboard
Workspace settings take precedence over (replace) User settings
With the following User and Workspace level settings
User: -cp /path/to/CommunityModules.jar
Workspace: -XX:+UseParallelGC
The CommunityModules won't be added to Java's classpath, causing the EXTENDS to result in a parser error:
EXTENDS Functions
...
Took me ~15 minutes to find.