VS Code Setup
The vscode-deal extension provides DEAL language support in Visual Studio Code:
- Syntax highlighting for
.dealand.dealxfiles (TextMate grammars, D-41) - LSP diagnostics — parse and sema errors underlined in the editor
- Hover tooltips — type and symbol information
- Go to Definition
- Completion suggestions
Installation
Section titled “Installation”From the VS Code Marketplace
Section titled “From the VS Code Marketplace”- Open VS Code
- Open the Extensions view (
Ctrl+Shift+X/Cmd+Shift+X) - Search for
DEAL Language - Click Install
From GitHub Releases (.vsix)
Section titled “From GitHub Releases (.vsix)”For air-gapped environments or specific version pinning:
- Go to github.com/deal-lang/vscode-deal/releases
- Download the
.vsixfile for the desired release - In VS Code, open the Extensions view
- Click the
...menu at the top-right of the Extensions panel - Select Install from VSIX…
- Choose the downloaded
.vsixfile
# Alternatively, install from the command line:code --install-extension vscode-deal-0.3.0.vsixVerifying the SHA256
Section titled “Verifying the SHA256”Each release includes a SHA256SUMS file. Verify the .vsix before installing:
shasum -a 256 -c SHA256SUMSExtension Capabilities
Section titled “Extension Capabilities”Syntax Highlighting
Section titled “Syntax Highlighting”.deal and .dealx files receive full syntax highlighting via the bundled TextMate grammars derived from the DEAL language specification. All language constructs — part def, port def, requirement def, [<system>] tags, @trace: annotations — are highlighted with distinct scopes.
LSP Diagnostics (D-50..D-53)
Section titled “LSP Diagnostics (D-50..D-53)”The LSP server (deal-lsp) runs in the background and provides:
- Parse errors — highlighted in red as you type
- Sema errors — dimension mismatches (E2500), mixed-unit comparisons (E2501), unresolved imports (E2402)
- Hover info — type annotation, doc comment, and source span on hover
- Go to Definition —
F12orCtrl+Clickon any symbol
Requirements
Section titled “Requirements”- VS Code 1.85+
- The
dealbinary must be installed and onPATH(see Getting Started) deal installmust have been run to resolve dependencies before sema features work
Troubleshooting
Section titled “Troubleshooting”Syntax highlighting not working:
Check that the file has a .deal or .dealx extension. Open the Command Palette (Ctrl+Shift+P) and run Developer: Inspect Editor Tokens and Scopes to verify the grammar is active.
LSP diagnostics not appearing:
- Check the Output panel (
View → Output) and select DEAL Language Server - Ensure the
dealbinary is onPATH:which dealshould print a path - Ensure
deal installhas been run in the project root
Extension not loading after install:
Reload VS Code (Developer: Reload Window).
Related
Section titled “Related”- Installation — install the
dealCLI - Getting Started — create your first project