Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Add case sensitive directory checks #6684
There is a danger with this approach: it checks case sensitivity for the entire path, not just parts of the path that correspond to a python module. This means that if we have something specified in the mypy search path that does not match the canonical casing, we won't be able to find anything in it.
I'm not sure if this is actually a problem? It could be, though. Worth documenting at least.
Fixing this means changing the API to include a root part that isn't checked, I guess.
Unfortunately this causes some code churn, because I need to "thread" this root part (prefix) through callers. Otherwise this looks a simple straightforward fix.