touist / touist-vscode

An extension for VS Code which provides support for the TouIST language.

Touist for vscode

Bring syntax coloring and linting to vscode.

This tmLanguage could also be used in other editors (textmate, sublime text) but I didn't write a package/extension specifically for them; feel free to pick the tmLanguage for any other editor!

Github source is here.

Linter

The linter requires the touist binary to be installed on your system. You can provide a path using the configuration touist.touistPath. The language (SAT, SMT, QBF) can be configured in the bottom-right corner menu.

Tasks

You can copy the following code into the .vscode/tasks.json file in your project so that you can use shift + command + B for ckecking syntax errors in touist files:

{
    "version": "0.1.0",
    "tasks": [{
        "taskName": "build",
        "command": "touist",
        "args": ["--linter", "--qbf", "${relativeFile}", "--wrap-width","0"],
        "isShellCommand": true,
        "problemMatcher": "$touist",
        "showOutput": "always"
    }]
}

Contribute

If you to fix the syntax file touist.tmLanguage, you can use the touist.YAML-tmLanguage file to do so and then go into build and run

yarn
yarn start

to compile yaml into tmLanguage. The JSON-tmLanguage is also generated in case it can help for adding syntax support to an other editor.

To debug the syntax highlighting, you can use the command Developer Tools: Inspect TM Tokens.