Provides (limited) Silq support in visual studio code.
Syntax highlighting for comments, string literals and keywords.
Type checks all open Silq source files each time any Silq source file is opened or saved.
For immediate feedback, enable
Auto Save and set
Auto Save Delay to 1. (CTRL+, to open settings window.)
The currently active source file can be run with
stdout is forwarded to the
Silq output channel.
f6 to print a trace of the program's execution including intermediate machine states inbetween statements.
For unicode input, we recommend (enter this command after hitting CTRL+P):
ext install freebroccolo.input-assist
Then in settings (CTRL+, and search for
"input-assist.languages": ["plaintext", "silq"]
On GNU/Linux, OSX and Windows, this extension is self-contained (it ships binary files compiled from a clean recent commit in the https://github.com/eth-sri/silq repository).
On other platforms, you may need to provide a working
silq executable (build instructions: https://github.com/eth-sri/silq).
silq.binaryPath setting to point to this
This extension contributes the following settings:
silq.binaryPath: Path to
silq executable that is used for type checking and simulation (by default, will attempt to use a suitable binary file from the
silq.autoRun: If enabled, run Silq programs after opening and after saving.
silq.historyChannel: If enabled, all output of running Silq programs is additionally written to the
Silq History output channel.
- If a program crashes at runtime in an imported file (other than the one run), the corresponding error message is not displayed.