v0.0.5

[0xGeorgii]

v0.0.5 LSP Support

Language Server Protocol support

• New inference-lsp server (apps/lsp), backed by a new ide/ crate stack (VFS, source database, semantic database, IDE API). Diagnostics on open/change, hover, goto-definition, completions, document symbols, and inlay hints.
• Ships with the managed toolchain. VS Code extension 0.0.5 brings the server up out of the box, restarts it on toolchain switch/install, probes the correct managed location on Windows (%APPDATA%\inference), and contributes the standard inference-lsp.trace.server setting. infs doctor verifies the server binary at the bin/ symlink editors actually resolve.
• Built for responsiveness: salsa-memoized incremental analysis, per-keystroke coalescing, request cancellation ($/cancelRequest, plus a didChange superseding older in-flight work), a snapshot read pool so a slow analysis never blocks hover or completion, bounded caches whose eviction actually frees memory, and analysis-panic containment so a compiler bug degrades one request instead of killing the session.
• Correct across the seams: file identity is normalized through the URI/VFS/loader path (UTF-8 BOM stripping, case-insensitive-filesystem handling, non-file URIs ignored), goto/hover follow the type checker's resolution rather than a name scan, completions only offer names that compile when accepted, and the initialize/shutdown lifecycle is LSP 3.17-conformant.

What's Changed

• LSP server by @0xGeorgii in LSP server #239
• lsp: contain analysis panics in the message loop by @0xGeorgii in lsp: contain analysis panics in the message loop #258
• vscode: restart running LSP server on toolchain switch/install by @0xGeorgii in vscode: restart running LSP server on toolchain switch/install #259
• infs: doctor verifies inference-lsp at the bin/ symlink the editor uses by @0xGeorgii in infs: doctor verifies inference-lsp at the bin/ symlink the editor uses #260
• lsp: invalidate IDE analysis when an unreadable import becomes readable by @0xGeorgii in lsp: invalidate IDE analysis when an unreadable import becomes readable #261
• lsp: stop offering completions that don't resolve or shouldn't show by @0xGeorgii in lsp: stop offering completions that don't resolve or shouldn't show #262
• analysis: restore duplicate-FnKey tripwire tolerant of parse-recovered keys by @0xGeorgii in analysis: restore duplicate-FnKey tripwire tolerant of parse-recovered keys #263
• docs: fix LSP-stack documentation inaccuracies by @0xGeorgii in docs: fix LSP-stack documentation inaccuracies #264
• lsp: resolve the analysis source root via manifest walk-up with closure fallback by @0xGeorgii in lsp: resolve the analysis source root via manifest walk-up with closure fallback #265
• lsp: close hit-test coverage gaps (word-end caret, directives, type params, enum variants, local consts) by @0xGeorgii in lsp: close hit-test coverage gaps (word-end caret, directives, type params, enum variants, local consts) #267
• lsp: fix file-identity and path edge cases across the URI/vfs/loader seam by @0xGeorgii in lsp: fix file-identity and path edge cases across the URI/vfs/loader seam #266
• tests: collision-proof temp-dir suffixes in project test helper by @0xGeorgii in tests: collision-proof temp-dir suffixes in project test helper #274
• codegen: single shared statement-descent for the function-body discovery passes by @0xGeorgii in codegen: single shared statement-descent for the function-body discovery passes #278
• lsp: make goto/hover follow the checker resolution instead of name-scans by @0xGeorgii in lsp: make goto/hover follow the checker resolution instead of name-scans #271
• codegen: thread the function name explicitly instead of ambient current_fn_name by @0xGeorgii in codegen: thread the function name explicitly instead of ambient current_fn_name #279
• lsp panic boundary by @0xGeorgii in lsp panic boundary #282
• 250 vscode restart lsp on toolchain switch by @0xGeorgii in 250 vscode restart lsp on toolchain switch #283
• tests: coqc round-trip gate for proof-mode wasm-to-v output by @0xGeorgii in tests: coqc round-trip gate for proof-mode wasm-to-v output #276
• refactoring: extract project front end into leaf inference-project-model crate by @0xGeorgii in refactoring: extract project front end into leaf inference-project-model crate #285
• lsp: coalesce per-keystroke work and bound the analysis caches by @0xGeorgii in lsp: coalesce per-keystroke work and bound the analysis caches #286
• lsp: drop didChange for a document that was never opened by @0xGeorgii in lsp: drop didChange for a document that was never opened #290
• compiler: bound the unreachable-file scan and fail open at the cap by @0xGeorgii in compiler: bound the unreachable-file scan and fail open at the cap #289
• Adopt salsa in the IDE stack: index-arena scope tree, memoized analyses, shared queries, cancellation, edge-driven invalidation by @0xGeorgii in Adopt salsa in the IDE stack: index-arena scope tree, memoized analyses, shared queries, cancellation, edge-driven invalidation #291
• ide-db: eviction actually frees analyses — durability/LRU audit and the memory bound by @0xGeorgii in ide-db: eviction actually frees analyses — durability/LRU audit and the memory bound #293
• lsp: concurrent snapshot reads — a worker-forwarded read pool over cloned salsa handles by @0xGeorgii in lsp: concurrent snapshot reads — a worker-forwarded read pool over cloned salsa handles #295
• lsp: no idle work after shutdown — abandon queued republishes instead of flushing them by @0xGeorgii in lsp: no idle work after shutdown — abandon queued republishes instead of flushing them #297
• ci: quote the rocq gate's test filter so the workflow YAML parses by @0xGeorgii in ci: quote the rocq gate's test filter so the workflow YAML parses #298
• Update book + small vscode ext edits by @0xGeorgii in Update book + small vscode ext edits #300
• Fix codegen else if branch lowering by @0xGeorgii in Fix codegen else if branch lowering #301
• Fix loop-scoped compound literals not re-zeroing each iteration by @0xGeorgii in Fix loop-scoped compound literals not re-zeroing each iteration #302
• Fix self-referential compound-literal reassignment (struct + array) by @0xGeorgii in Fix self-referential compound-literal reassignment (struct + array) #303
• analysis: reject reserved wasm export names (A043) by @0xGeorgii in analysis: reject reserved wasm export names (A043) #304
• A042: NonDetOutsideSpec by @0xGeorgii in A042: NonDetOutsideSpec #305
• wasm-codegen: constrain narrow-typed uzumaki draws to the declared value domain by @0xGeorgii in wasm-codegen: constrain narrow-typed uzumaki draws to the declared value domain #306
• Power operator rejection by @0xGeorgii in Power operator rejection #307
• Unique is not supported yet error by @0xGeorgii in Unique is not supported yet error #308
• Short-circuit logical operators by @0xGeorgii in Short-circuit logical operators #309
• Shift Count Out of Range (errors) by @0xGeorgii in Shift Count Out of Range (errors) #310
• wasm-codegen: trap narrow division overflow and invalid enum tags at the export ABI by @0xGeorgii in wasm-codegen: trap narrow division overflow and invalid enum tags at the export ABI #311
• lsp: fix test-harness wait livelock — waits drain the wire past interleaved traffic by @0xGeorgii in lsp: fix test-harness wait livelock — waits drain the wire past interleaved traffic #312

Full Changelog: v0.0.4...v0.0.5

---

This discussion was created from the release v0.0.5.