Achronyme 0.1.2 is published: detached verification preserves operational errors and global JSON output arrow_right_alt

Editor Setup

Published VS Code and LSP support for Achronyme and Circom.

Version status

The latest published editor release is 0.3.1. Its bundled LSP is built from Achronyme core revision b1774e88671a1889146804cb812cb099eb9cc006. Core 0.1.2 changes only detached CLI verification, so the language and LSP contracts remain compatible with this editor release.

Use the published editor releases for normal installation.

VS Code features

Editor 0.3.1 provides:

  • TextMate syntax highlighting for .ach, including concurrent, spawn, await, task calls, and capability-based file or network I/O.
  • Circom language activation and syntax highlighting for .circom.
  • Parser-backed diagnostics as you type.
  • Semantic tokens for declarations, task handles, async calls, builtins, parameters, types, methods, strings, numbers, and operators.
  • Hover documentation for language keywords, global functions, type methods, and static namespaces.
  • Completion for 30 keywords, 43 global functions, 47 type methods, 6 static namespace members, and 16 snippets.
  • Document symbols, go-to-definition, references, and rename.
  • A Run button that invokes ach run in an integrated terminal.
  • CLI discovery, download, and update prompts from published core releases.

Formatting is not implemented in this release line.

Build editor 0.3.1

git clone https://github.com/achronyme/achronyme-editor.git
cd achronyme-editor
git checkout v0.3.1

cargo build --release -p ach-lsp
mkdir -p editors/vscode/bin
cp target/release/ach-lsp editors/vscode/bin/

cd editors/vscode
npm ci
npm run build
npm run typecheck
npm test

Launch an Extension Development Host:

code --extensionDevelopmentPath=editors/vscode

CLI version behavior

The extension looks for ach in this order:

  1. achronyme.executablePath;
  2. the extension-managed download location;
  3. the system PATH.

Downloads come from the latest published core GitHub release. Editor 0.3.1 therefore installs core 0.1.2 when it manages the CLI automatically.

Settings

SettingDefaultDescription
achronyme.executablePath""Path to the ach CLI. Empty enables bundled, managed, or PATH discovery.
achronyme.lspPath""Path to ach-lsp. Empty uses the binary bundled with the extension.

Other editors

ach-lsp communicates over stdio using the Language Server Protocol. Editors such as Neovim, Helix, and Zed can launch the binary directly. The VS Code extension adds download management and the Run command; those features are not part of the protocol server itself.

Navigation