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.