Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Try to resolve references in stage 0 #1261

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from

Conversation

panglesd
Copy link
Collaborator

Some references get "moved" to some other context when expansions are computed, which make them resolve to something else/not resolve anymore.

This PR tries to resolve reference at the earliest, before any expansions are computed: at load time. So resolved references go to the original referenced item.

This is extracted from some branch of @jonludlam, as a draft. I have not reviewed the commits. It put it as a draft, just so that the idea does not get forgotten, but it is planned as post 3.0

(currently based on #1260)

jonludlam and others added 8 commits December 12, 2024 12:43
When docstrings go are inherited, eg from an include or a functor expansion,
warnings may be generated in one docs while the fix is in a dependency.

This commit allows to tag each docstring with a boolean to indicate whether it
comes from a unit with warnings enabled or disabled.
This means that for any documentation file in a package, either mld
or module interface, any module in the entire package can be referenced
with or without a fully qualified path
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.

2 participants