Skip to content

Conversation

@dschrempf
Copy link
Collaborator

@dschrempf dschrempf commented Nov 20, 2025

Instead, we remove duplicate declarations from the DeclIndex, and issue respective warnings.

Also, during selection, when a declaration is unavailable because it depends on an unavailable transitive dependency, we report the SingleLoc of the unavailable transitive dependency. This greatly eases finding the correct parse and select predicates.

TODO:

  • Golden test.
  • Rename redeclaration to "conflicting declarations".
  • Change wording of SharedKey trace (probably even use the same trace message type).

TODO AFTER MERGE:

  • Adapt Nix-based tutorial (no --parse-all required).

@dschrempf dschrempf linked an issue Nov 20, 2025 that may be closed by this pull request
@dschrempf dschrempf marked this pull request as ready for review November 20, 2025 16:07
@dschrempf dschrempf self-assigned this Nov 20, 2025
Instead, we remove duplicate declarations from the `DeclIndex`, and issue
respective warnings.

Also, during selection, when a declaration is unavailable because it depends on
an unavailable transitive dependency, we report the `SingleLoc` of the
unavailable transitive dependency. This greatly eases finding the correct parse
and select predicates.
@dschrempf dschrempf force-pushed the dom/1155/duplicate-declarations branch from 82f67c3 to 2910847 Compare November 26, 2025 12:22
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.

Support "eponymous" macros

2 participants