-
-
Notifications
You must be signed in to change notification settings - Fork 2.9k
error listed twice with wrong filename(capitalization) in output #11690
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
Comments
Is this on an OS with case-insensitive files? We've had some similar issues. |
Happens on wsl and not windows |
Can you delete your mypy cache and then check if the following patch fixes:
|
@hauntsaninja did you know that github supports diff --git a/mypy/fscache.py b/mypy/fscache.py
index c77b941c5..fb651326f 100644
--- a/mypy/fscache.py
+++ b/mypy/fscache.py
@@ -202,9 +202,6 @@ class FileSystemCache:
The caller must ensure that prefix is a valid file system prefix of path.
"""
- if sys.platform == "linux":
- # Assume that the file system on Linux is case sensitive
- return self.isfile(path)
if not self.isfile(path):
# Fast path
return False |
I knew that. Does the diff fix the issue or not? (I don't have a system I can repro the issue on) |
testing it now |
I think that change resolves the issue |
Very strange, on another machine with the exact same files it doesn't follow the imports at all. |
Raised it here #11697 |
Is this happening on WSL 1 or 2? Also, are you using the Windows file system or the Linux file system? |
wsl 2 on the windows file system, it does not happen with wsl + linux fs |
Originally added in python#10093 Fixes python#11690, fixes python#10661, fixes python#10822
Originally added in python#10093 Fixes python#11690, fixes python#10661, fixes python#10822 Co-authored-by: hauntsaninja <>
given:
src/__init__.py:
src/thing.py:
test.py:
Edit:
This is observed with WSL on the windows file system and not WSL on the Linux fs
The text was updated successfully, but these errors were encountered: