Skip to content

refactor(hir): cut over to the symbol/scope core#289

Merged
hongjr03 merged 7 commits into
masterfrom
pr/symbol-core
Jun 27, 2026
Merged

refactor(hir): cut over to the symbol/scope core#289
hongjr03 merged 7 commits into
masterfrom
pr/symbol-core

Conversation

@hongjr03

Copy link
Copy Markdown
Member

Summary

First slice of #288, split out for independent review. Introduces the open symbol/scope foundation that the rest of the SystemVerilog semantic work builds on.

  • Cut over scopes to DefId/DefLoc/DefKind (replaces ModuleDefOrigin).
  • Activate PerNs type/value lookup, package import/export resolution, and package export signature narrowing.
  • Refactor subroutines to InContainer<LocalSubroutineId> container handles (drops the globally-interned SubroutineId).
  • Unify the per-scope structs into a single NameScope.

Validation

  • `cargo fmt --all -- --check`
  • `cargo clippy --workspace --all-targets -- -D warnings`
  • `cargo test --workspace` (477 passed)

Notes

Class/interface specialization, assertions, package/class :: constructs, hierarchical path resolution, and the type ADT expansion land in the stacked follow-up PRs.

@hongjr03 hongjr03 merged commit 7c91fb6 into master Jun 27, 2026
18 checks passed
@hongjr03 hongjr03 deleted the pr/symbol-core branch June 27, 2026 05:36
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