Skip to content

feat(nixvim): integrate ArchLens relationships - #132

Merged
dc-tec merged 5 commits into
mainfrom
feat/archlens-integration
Aug 3, 2026
Merged

feat(nixvim): integrate ArchLens relationships#132
dc-tec merged 5 commits into
mainfrom
feat/archlens-integration

Conversation

@dc-tec

@dc-tec dc-tec commented Aug 2, 2026

Copy link
Copy Markdown
Owner

Summary

  • add code-relationship navigation and OCaml project support
  • install and configure ArchLens from the published flake
  • advance ArchLens to 2f9476f with project scope, hierarchy, module, test, and configuration relationships
  • add reverse module relationships and contextual grouping for test and configuration uses
  • package ripgrep and configure its exact Nix-store path for inbound module indexing

Validation

  • nix flake check --print-build-logs
  • headless Nixvim smoke test confirms ripgrep is available and the ArchLens import-index and container modules load

dc-tec added 5 commits August 2, 2026 22:44
Add Telescope call hierarchies and Trouble symbol/location views, and provide Dune as an OCaml-LSP fallback for project document loading.

Signed-off-by: Roel de Cort <roel@decort.tech>
Install the published ArchLens package, add its project-relationship keymap and ast-grep defaults, and pin the flake input to the latest validated ArchLens revision.

Signed-off-by: Roel de Cort <roel@decort.tech>
Advance the nixvim lock to ArchLens af78874 so the installed plugin includes the validated project relationship, scope filtering, and provider test slices.

Signed-off-by: Roel de Cort <roel@decort.tech>
Signed-off-by: Roel de Cort <roel@decort.tech>
Advance the Nixvim lock to ArchLens 1c5454f so the installed plugin includes the provider orchestration, configurable section state, expanded language support, and relationship evidence improvements.

Signed-off-by: Roel de Cort <roel@decort.tech>
@dc-tec
dc-tec merged commit c12ab6e into main Aug 3, 2026
2 checks passed
@dc-tec
dc-tec deleted the feat/archlens-integration branch August 3, 2026 11:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant