简体中文

CalcKernel adds language support for CK .ck files: syntax highlighting, snippets, and live diagnostics from the public CalcKernel compiler. Its language server works with unsaved edits.

Language features include completion, hover, signature help, go to definition, references, safe rename, document and workspace symbols, semantic highlighting, folding, selection ranges, and document formatting. Navigation and rename follow bindings in one CK source file; CK has no imports. Formatting follows the editor's indentation settings, preserves line comments, and leaves incomplete source unchanged.

Install the CalcKernel extension from the Visual Studio Marketplace, or download a platform-specific VSIX from GitHub Releases. Each VSIX bundles a frontend-only ckc language server and the compiler.lock.json build provenance, so diagnostics work offline and do not require LLVM. A manually configured language server must be ckc 0.15.x.

The extension repository is self-contained. A local package build checks out the public compiler commit and compiler version recorded in compiler.lock.json, builds its frontend-only ckc, and bundles the binary for the current platform.

Requirements: Git, Rust stable, Node.js 22, and pnpm 11.7.0.

git clone https://github.com/luxine/CalcKernel-VSCode.git
cd CalcKernel-VSCode
pnpm install --frozen-lockfile
pnpm test
pnpm package

To use a prebuilt public compiler instead, pass its absolute path:

CK_VSCODE_CKC_BINARY=/absolute/path/to/ckc pnpm package

The compiler source revision is public and pinned. Builds depend only on this repository and that public compiler commit.

The Marketplace requires a numeric MAJOR.MINOR.PATCH version even for pre-releases. To publish a public pre-release tag such as v0.15.0-dev.2, run Marketplace numeric pre-release variants from main and enter that tag; its GitHub Release must already exist as a pre-release. For example:

gh workflow run marketplace-prerelease.yml --ref main -f source_tag=v0.15.0-dev.2

CI derives 0.15.0 from the tag, packages all six platforms with VS Code's pre-release marker, verifies the source/compiler provenance, and appends the variants and a checksummed provenance record to the same GitHub Release. The original -dev.2 release assets stay unchanged; CI refuses to overwrite an existing variant asset. Download the six marketplace-prerelease VSIX files from that public Release and upload those exact files through the signed-in Marketplace publisher UI. Automated Marketplace publishing is disabled by default; it can be explicitly enabled with the repository variable MARKETPLACE_PUBLISH_ENABLED=true and the VSCE_PAT secret. The Marketplace entry is still a pre-release; a later stable release must use a different numeric version that has not already been used, for example 0.15.1.

• ck.server.path: absolute path to a compatible ckc for language features. Empty uses the bundled binary, then PATH.
• ck.compiler.path: absolute path to a Native-enabled ckc for Run and Build. Empty uses PATH.
• CK: Check Current File, CK: Run Current File, CK: Build Current File, CK: Restart Language Server, and CK: Show Output appear in the Command Palette.

Run and Build require a file-backed .ck document and save it before invoking the compiler. The language server uses unsaved text for diagnostics. Virtual workspaces retain static highlighting and snippets; compiler commands require local files.

The extension does not download compilers or build Rust code when VS Code activates it.