This extension provides language server protocol-based editor features for Silver.
- Semantic token-based syntax highlighting, powered by Copper
- Diagnostic error reporting
- View / jump to declaration
- Clean rebuild command
Running this extension requires Java 11. Issues have been noted with newer versions of Java.
This extension contributes the following settings:
silver.enableMWDA: Enable the modular well-definedness analysis
silver.jvmArgs: JVM flags to use when launching the language server, the heap size may need to be increased for large projects
silver.compilerJar: Path to a jar file containing an alternate version of the Silver compiler
silver.parserName: Full name of the Silver parser to use, must be set if compiler jar is specified
The use of Copper for semantic tokens means that in case of a syntax error, highlighting is not shown for the rest of the file after the syntax error.