Nagi Language for VS Code 0.1.12

Installation

Install the VSIX using Extensions: Install from VSIX in VS Code. Type checking and execution require the Nagi compiler separately; the VSIX does not include it.

Changes

• Save reachable dirty imports before Lower, Build, and Run, including imports outside the project. Stop when saving fails, aliases conflict, or the entry changes while inputs are being saved.
• Show mapped build and run failures in Problems without duplicating unchanged-source checks. Refresh imported-file diagnostics across closed buffers, symlinks, and Windows path casing.
• Keep diagnostics and pending checks for unrelated projects when their dependency snapshots remain valid.
• Complete shadowed local names without inserting constructor or call arguments. Show read-only borrow hints for borrowed loop variables.
• Insert bare declaration names in quoted from-import completion, add Result Ok/Err pattern assistance, and resolve file aliases consistently for completion and definition lookup.
• Add completion, hover, signatures, and definition coverage for the new Result, HTTP, and Supervisor operations.
• Improve Low editing with brace-based folding, language-specific declaration help, import completion, and entry-point/import snippets.
• Scaffold async entry points without requiring a database, and add a database-free HTTP App snippet. Check the High snippets with the Nagi compiler.
• Make VSIX packaging reproducible and keep installation commands independent of a fixed version filename.

CHANGELOG at the released commit

Release comparison

Previous vscode release: vscode-v0.1.10 at 2c10e566916615c091791b5edb9bb66c808697b4.

• Previous tag → released commit
• Previous commit → released commit

Pull requests and contributors

What's Changed

• Fix release tests with an empty runtime dependency cache by @tp-li-dev in #51
• Document the Marketplace VS Code 0.1.11 release by @tp-li-dev in #52
• Align ownership checks and source diagnostics across compiler and editor by @tp-li-dev in #53
• Fix ownership and code generation, verify application projects in CI by @tp-li-dev in #54
• Document JSON byte representations and non-finite values by @tp-li-dev in #56
• Bring the validated readiness fixes from #55 onto main by @tp-li-dev in #57
• Improve borrowed iteration, Result conversion and Supervisor readiness by @tp-li-dev in #59
• Improve Low authoring and add runnable backend examples by @tp-li-dev in #58
• Add Nagi support for IntelliJ IDEA and PyCharm with verified plugin packages by @tp-li-dev in #60
• Release Nagi 0.1.9 and VS Code 0.1.12 by @tp-li-dev in #61

Full Changelog: vscode-v0.1.10...vscode-v0.1.12

Built from commit 5697f6292aadae2f095e57932cc034113c6c4fe9 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi 0.1.9

Installation

Archives include the prebuilt compiler and the matching runtime sources, license, and installation notes. Extract the whole archive and add its root folder to PATH. Run nagic --version to verify the installed version. The compiler finds the bundled runtime automatically; NAGI_ROOT is normally unnecessary. Building Nagi applications still requires Rust/Cargo and a C build environment. Linux x86_64, Windows x64, macOS Apple Silicon (arm64), and macOS Intel (x86_64) are included. macOS archives are verified on macOS 15.

Changes

• Allow read-only for loops over non-Copy List elements, with ownership and lifetime checks. Keep Copy iteration unchanged.
• Add std.result.map_error for explicit, typed error conversion through synchronous functions. Preserve try error identity and borrowed success values.
• Add explicit task readiness and typed, bounded Supervisor event waits. Reject duplicate, stale, and inactive readiness signals.
• Add borrowed JSON Content-Type validation. The quote API sample retains request IDs in its handler wrapper without intermediate copies.
• Accept multiline calls, constructors, lists, indexing, and function types in handwritten Low, preserving statement boundaries and source diagnostics.
• Reject overlapping generated output before writing, including aliases to source files, embedded assets, Rust adapters, and manifests.
• Catch additional moves that conflict with borrows in indexing, comparisons, and stored views. Keep supported immediate reads, independent fields, copies, and loop reassignment valid.
• Decode nullable SQLite columns for supported scalar row types, including bool, floats, and bytes. Preserve nested Option types through saved Low.
• Keep HTTP response send deadlines active during graceful shutdown while healthy in-flight requests finish.
• Map Rust backend cause notes to Nagi source locations and show readable imported names. Preserve native Rust diagnostics and suggestions.
• Preserve release wrapping and debug overflow checks for constant integer arithmetic. Treat local callbacks named include_text as ordinary calls and report the actual Clone requirement for copied list views.
• Keep cross-module edges inside the HTML map viewport and label group counts accurately.
• Add runnable stock-report, device-settings, seat-reservations, file-json, quote-api, supervised-worker, and handwritten Low order-quote projects. Verify their native behavior through High, saved Low, and direct Low.
• Send compiler progress to stderr and keep nagic run stdout for application output, including when cost reporting is enabled.
• Make distribution archives reproducible for identical inputs so a resumed draft release can reuse verified assets.

CHANGELOG at the released commit

Release comparison

Previous nagi release: nagi-v0.1.8 at 2c10e566916615c091791b5edb9bb66c808697b4.

• Previous tag → released commit
• Previous commit → released commit

Pull requests and contributors

What's Changed

• Fix release tests with an empty runtime dependency cache by @tp-li-dev in #51
• Document the Marketplace VS Code 0.1.11 release by @tp-li-dev in #52
• Align ownership checks and source diagnostics across compiler and editor by @tp-li-dev in #53
• Fix ownership and code generation, verify application projects in CI by @tp-li-dev in #54
• Document JSON byte representations and non-finite values by @tp-li-dev in #56
• Bring the validated readiness fixes from #55 onto main by @tp-li-dev in #57
• Improve borrowed iteration, Result conversion and Supervisor readiness by @tp-li-dev in #59
• Improve Low authoring and add runnable backend examples by @tp-li-dev in #58
• Add Nagi support for IntelliJ IDEA and PyCharm with verified plugin packages by @tp-li-dev in #60
• Release Nagi 0.1.9 and VS Code 0.1.12 by @tp-li-dev in #61

Full Changelog: nagi-v0.1.8...nagi-v0.1.9

Built from commit 5697f6292aadae2f095e57932cc034113c6c4fe9 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi Language for VS Code 0.1.9

Install the VSIX using Extensions: Install from VSIX in VS Code. Type checking and execution require the Nagi compiler separately; the VSIX does not include it.

Built from commit 9e1ac2d after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi Language for VS Code 0.1.10

Installation

Install the VSIX using Extensions: Install from VSIX in VS Code. Type checking and execution require the Nagi compiler separately; the VSIX does not include it.

Changes

• Add static map types, map modules, and map calls through a shared Graph IR, with Mermaid, D2, JSON, and standalone HTML renderers, focused views, and optional D2 SVG/PNG export.
• Include the committed version's change summary, previous component release and commit comparison, pull requests, and contributor information in release notes.
• Diagnose moves conflicting with earlier temporary borrows in calls and lists, and consume standalone owned-value expressions during checking. Keep scalar owned[T] class fields consistent with generated Rust Copy behavior.
• Keep Docs API references and measurements under HTTP and actor topics, show the current page, preserve sidebar scrolling, and remember the mobile contents menu.
• Serve Docs assets and links from nagi.disnana.com/, while preserving project/user Pages defaults for forks. Skip full Rust checks for changes limited to the site's domain and Pages workflow; keep full checks for CI configuration changes.
• Add std.actor with typed messages and replies, owned state transitions, named async factories and handlers, restart policies, lifecycle events, and tracked shutdown. Keep business errors separate from handler and call failures.
• Check actor message, reply, and error payloads for owned-capacity accounting; reject unsupported Map, shared, borrowed, and opaque payload graphs before native generation. Preserve actor identities and generic arguments in independently loaded Low.
• Support multiple registered standard modules in completion, signatures, and read-only definition navigation. Add a Supervisor/HTTP sample with state updates, business failures, and explicit shutdown.
• Add std.http.server: DB-free apps, native Method/Status, request headers, typed shared state, async handlers, and app/route error mapping. Bound headers, bodies, admission, response sending, and shutdown.
• Support registered standard-module imports, comma-separated from imports, and exhaustive Option matching with Some/None. Preserve resource identity and borrowed lifetimes through saved Low.
• Extend VS Code completion, hover, signature help, and read-only definition navigation to standard resources, constants, and operations.
• Preserve checked numeric types in generated Rust, including integer literals printed or compared without an assignment.
• Restore parser nesting depth after speculative indexing, retain parentheses around try/await field and index receivers, and reject unsupported class type arguments instead of discarding them.
• Preserve string bytes, including control characters, through High-to-Low and Rust generation.
• Diagnose routes colliding with builtin GET endpoints or equivalent capture paths before the HTTP router is constructed.
• Count only changes made by the current db_exec SQL batch, including trigger changes, rather than returning a previous statement's count.
• Insert class names in VS Code type annotations without constructor arguments, and retain hover types for local function values.

CHANGELOG at the released commit

Release comparison

Previous vscode release: vscode-v0.1.9 at 9e1ac2d8087cc0b97d45488a8ed6f31eba2d037c.

• Previous tag → released commit
• Previous commit → released commit

Pull requests and contributors

What's Changed

• Fix compiler lowering, SQLite counts, and editor type assistance by @tp-li-dev in #41
• Make docs navigation and setup easier to read by @tp-li-dev in #42
• Keep default sidebar expansion out of saved preferences by @tp-li-dev in #43
• Add file-scoped imports and VS Code module support by @tp-li-dev in #44
• Skip Rust checks for Docs-only changes by @tp-li-dev in #45
• Add typed errors, enums and VS Code support by @tp-li-dev in #46
• Add typed standard HTTP, Status and editor support by @tp-li-dev in #47
• Add native actors, bounded supervision and backend examples by @tp-li-dev in #48
• Fix Pages asset paths for nagi.disnana.com by @tp-li-dev in #49
• Prepare Nagi 0.1.8 and VS Code 0.1.10 by @tp-li-dev in #50

Full Changelog: vscode-v0.1.9...vscode-v0.1.10

Built from commit 2c10e566916615c091791b5edb9bb66c808697b4 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi 0.1.8

Installation

Archives include the prebuilt compiler and the matching runtime sources, license, and installation notes. Extract the whole archive and add its root folder to PATH. Run nagic --version to verify the installed version. The compiler finds the bundled runtime automatically; NAGI_ROOT is normally unnecessary. Building Nagi applications still requires Rust/Cargo and a C build environment. Linux x86_64, Windows x64, macOS Apple Silicon (arm64), and macOS Intel (x86_64) are included. macOS archives are verified on macOS 15.

Changes

• Add static map types, map modules, and map calls through a shared Graph IR, with Mermaid, D2, JSON, and standalone HTML renderers, focused views, and optional D2 SVG/PNG export.
• Include the committed version's change summary, previous component release and commit comparison, pull requests, and contributor information in release notes.
• Diagnose moves conflicting with earlier temporary borrows in calls and lists, and consume standalone owned-value expressions during checking. Keep scalar owned[T] class fields consistent with generated Rust Copy behavior.
• Keep Docs API references and measurements under HTTP and actor topics, show the current page, preserve sidebar scrolling, and remember the mobile contents menu.
• Serve Docs assets and links from nagi.disnana.com/, while preserving project/user Pages defaults for forks. Skip full Rust checks for changes limited to the site's domain and Pages workflow; keep full checks for CI configuration changes.
• Add std.actor with typed messages and replies, owned state transitions, named async factories and handlers, restart policies, lifecycle events, and tracked shutdown. Keep business errors separate from handler and call failures.
• Check actor message, reply, and error payloads for owned-capacity accounting; reject unsupported Map, shared, borrowed, and opaque payload graphs before native generation. Preserve actor identities and generic arguments in independently loaded Low.
• Support multiple registered standard modules in completion, signatures, and read-only definition navigation. Add a Supervisor/HTTP sample with state updates, business failures, and explicit shutdown.
• Add std.http.server: DB-free apps, native Method/Status, request headers, typed shared state, async handlers, and app/route error mapping. Bound headers, bodies, admission, response sending, and shutdown.
• Support registered standard-module imports, comma-separated from imports, and exhaustive Option matching with Some/None. Preserve resource identity and borrowed lifetimes through saved Low.
• Extend VS Code completion, hover, signature help, and read-only definition navigation to standard resources, constants, and operations.
• Preserve checked numeric types in generated Rust, including integer literals printed or compared without an assignment.
• Restore parser nesting depth after speculative indexing, retain parentheses around try/await field and index receivers, and reject unsupported class type arguments instead of discarding them.
• Preserve string bytes, including control characters, through High-to-Low and Rust generation.
• Diagnose routes colliding with builtin GET endpoints or equivalent capture paths before the HTTP router is constructed.
• Count only changes made by the current db_exec SQL batch, including trigger changes, rather than returning a previous statement's count.
• Insert class names in VS Code type annotations without constructor arguments, and retain hover types for local function values.

CHANGELOG at the released commit

Release comparison

Previous nagi release: nagi-v0.1.7 at 9e1ac2d8087cc0b97d45488a8ed6f31eba2d037c.

• Previous tag → released commit
• Previous commit → released commit

Pull requests and contributors

What's Changed

• Fix compiler lowering, SQLite counts, and editor type assistance by @tp-li-dev in #41
• Make docs navigation and setup easier to read by @tp-li-dev in #42
• Keep default sidebar expansion out of saved preferences by @tp-li-dev in #43
• Add file-scoped imports and VS Code module support by @tp-li-dev in #44
• Skip Rust checks for Docs-only changes by @tp-li-dev in #45
• Add typed errors, enums and VS Code support by @tp-li-dev in #46
• Add typed standard HTTP, Status and editor support by @tp-li-dev in #47
• Add native actors, bounded supervision and backend examples by @tp-li-dev in #48
• Fix Pages asset paths for nagi.disnana.com by @tp-li-dev in #49
• Prepare Nagi 0.1.8 and VS Code 0.1.10 by @tp-li-dev in #50

Full Changelog: nagi-v0.1.7...nagi-v0.1.8

Built from commit 2c10e566916615c091791b5edb9bb66c808697b4 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi 0.1.7

Archives include the prebuilt compiler and the matching runtime sources, license, and installation notes. Extract the whole archive and add its root folder to PATH. Run nagic --version to verify the installed version. The compiler finds the bundled runtime automatically; NAGI_ROOT is normally unnecessary. Building Nagi applications still requires Rust/Cargo and a C build environment. Linux x86_64, Windows x64, macOS Apple Silicon (arm64), and macOS Intel (x86_64) are included. macOS archives are verified on macOS 15.

Built from commit 9e1ac2d after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi 0.1.6

Archives include the prebuilt compiler and the matching runtime sources, license, and installation notes. Extract the whole archive and add its root folder to PATH. Run nagic --version to verify the installed version. The compiler finds the bundled runtime automatically; NAGI_ROOT is normally unnecessary. Building Nagi applications still requires Rust/Cargo and a C build environment. Linux x86_64, Windows x64, macOS Apple Silicon (arm64), and macOS Intel (x86_64) are included. macOS archives are verified on macOS 15.

Built from commit f1f0af0 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi Language for VS Code 0.1.8

Install the VSIX using Extensions: Install from VSIX in VS Code. Type checking and execution require the Nagi compiler separately; the VSIX does not include it.

Built from commit cd0a127 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi 0.1.5

Archives include the prebuilt compiler and the matching Git-tracked source, runtime, examples, and Docs. Extract the whole archive and keep its directory structure. The compiler is in target/release/. Building Nagi applications still requires Rust/Cargo and a C build environment. Linux x86_64, Windows x64, macOS Apple Silicon (arm64), and macOS Intel (x86_64) are included. macOS archives are verified on macOS 15.

Built from commit a27a677 after Nagi checks succeeded. SHA-256 files accompany every download.

Nagi 0.1.4

Archives include the prebuilt compiler and the matching Git-tracked source, runtime, examples, and Docs. Extract the whole archive and keep its directory structure. The compiler is in target/release/. Building Nagi applications still requires Rust/Cargo and a C build environment. Linux x86_64, Windows x64, macOS Apple Silicon (arm64), and macOS Intel (x86_64) are included. macOS archives are verified on macOS 15.

Built from commit 1c01386 after Nagi checks succeeded. SHA-256 files accompany every download.