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.

Sign up for GitHub

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

Jump to bottom

(🐞) dmypy inspect says Unknown module with multiple runs #15794

Closed
KotlinIsland opened this issue Aug 1, 2023 · 0 comments · Fixed by #16359
Closed

(🐞) dmypy inspect says Unknown module with multiple runs #15794

KotlinIsland opened this issue Aug 1, 2023 · 0 comments · Fixed by #16359
Labels
bug mypy got something wrong

Comments

@KotlinIsland
Copy link
Contributor

test1.py

a: int

test2.py

a: str
👉 dmypy run test1.py
Daemon started
Success: no issues found in 42 source files
👉 dmypy run test2.py
Success: no issues found in 1 source file
👉 dmypy run test1.py --export types
Success: no issues found in 1 source file
👉 dmypy inspect test1.py:1:1:1:1
Unknown module: test
@KotlinIsland KotlinIsland added the bug mypy got something wrong label Aug 1, 2023
@ilevkivskyi ilevkivskyi mentioned this issue Oct 28, 2023
Merged
JukkaL pushed a commit that referenced this issue Nov 1, 2023
@ilevkivskyi
Fix file reloading in dmypy with --export-types (#16359)
3712193 
Fixes #15794

Unfortunately, this requires to pass `--export-types` to `dmypy run` if
one wants to inspect a file that was previously kicked out of the build.
JukkaL pushed a commit that referenced this issue Nov 1, 2023
@ilevkivskyi @JukkaL
Fix file reloading in dmypy with --export-types (#16359)
f68f463 
Fixes #15794

Unfortunately, this requires to pass `--export-types` to `dmypy run` if
one wants to inspect a file that was previously kicked out of the build.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug mypy got something wrong
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix file reloading in dmypy with --export-types ilevkivskyi/mypy
1 participant
@KotlinIsland