Tya — VS Code extension

Language support for Tya. Provides TextMate syntax highlighting plus a LSP-based language client that talks to tya lsp (shipped with the tya compiler since v0.52).

Requirements

• VS Code 1.75 or later
• tya v0.52 or later on PATH (or configure tya.executable)

Features (v0.72.1)

• LSP diagnostics on save / on change, covering tya check-style errors and tya lint-style warnings
• Format on save for .tya files by default
• TextMate syntax highlighting for .tya
• textDocument/formatting and textDocument/rangeFormatting
• textDocument/hover — function signatures + leading doc comments
• textDocument/definition — cross-file via import
• textDocument/references
• textDocument/rename
• textDocument/codeAction — TYAL0001 / TYAL0003 quick fixes
• textDocument/semanticTokens/full
• textDocument/documentSymbol
• workspace/symbol

Install

Install Tya from the Visual Studio Marketplace or Open VSX.

Manual install

Download tya-0.72.1.vsix from:

https://github.com/komagata/tya/releases/tag/editors-vscode-v0.72.1

Then install it:

code --install-extension tya-0.72.1.vsix

Or build it locally:

cd editors/vscode
npm install
npm run compile
npx vsce package
code --install-extension tya-0.72.1.vsix

Settings

• tya.executable (default tya) — path to the tya LSP server.
• tya.trace.server (off / messages / verbose) — LSP trace verbosity.

The extension contributes these language defaults for .tya files:

{
  "[tya]": {
    "editor.defaultFormatter": "komagata.tya",
    "editor.formatOnSave": true
  }
}

When tya.executable is left at the default, the extension checks common user-local, version-manager, and Homebrew locations, then uses the newest working tya it finds before falling back to tya on PATH.