Skip to content

feat(hir): link manifest predefines to source ranges#238

Merged
hongjr03 merged 1 commit into
feat/preproc-provenance-alignmentfrom
feat/manifest-predefine-provenance
Jun 6, 2026
Merged

feat(hir): link manifest predefines to source ranges#238
hongjr03 merged 1 commit into
feat/preproc-provenance-alignmentfrom
feat/manifest-predefine-provenance

Conversation

@hongjr03
Copy link
Copy Markdown
Member

@hongjr03 hongjr03 commented Jun 6, 2026

Summary

  • preserve manifest source ranges for configured predefines from vide.toml
  • expose manifest-backed predefine definitions through HIR preproc navigation/reference APIs
  • load project manifests as non-source VFS files so IDE goto/hover can target them without passing them to slang diagnostics

Validation

  • cargo fmt --check
  • cargo test -p project-model -- --nocapture
  • cargo test -p preproc
  • cargo test -p hir preproc -- --nocapture
  • cargo test -p ide preproc -- --nocapture
  • cargo test -p vide manifest_defined_macro_powers_lsp_ide_features -- --nocapture
  • cargo test -p vide project_manifest_is_not_diagnosed_as_systemverilog -- --nocapture
  • cargo check -p ide
  • cargo check -p vide
  • git diff --check

@hongjr03 hongjr03 merged commit cc51fa2 into feat/preproc-provenance-alignment Jun 6, 2026
8 of 12 checks passed
@hongjr03 hongjr03 deleted the feat/manifest-predefine-provenance branch June 6, 2026 16:11
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