Skip to content

linter counts usedmoduled symbols twice  #42

Description

@kohlhase

If A imports B, and and B contains symbol b
we have content of the form

\importmodule{B}
...
\begin{foo}
\usemodule{A}
\sn{b}
\end{foo}

Then the linter marks the \sn{b} as ambiguous and the quick fixes say it is ambiguous between B?band B?b.
This seriously messes with error counts and makes my "going over all the content and disambiguating" strategy much harder and more frustrating than it needs to be. Look at
Screenshot 2023-11-11 at 09 46 09
all of them are illegitimate ambiguites (i.e. they only are marked since they are counted twice).
And what is worse, there is no way I can "correct them" and get rid of the warnings.

BTW, the structure above is quite common in learning objects, where we have look-ahead comments.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions