Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Allow setting python_executable from config file... #5777
There are several tests for reading the version from the config file already (in
I am trying to come up with an end-to-end test for this, and it's not working.
I found a pypi package ordered_set (aka ordered-set) that has stubs on pypi.
I am installing these with:
To prove that it works:
This gives no errors. Then with mypy from master, I run:
This error is expected (there's a bug in the stubs that only happens to manifest with Python 2). (Note that
But with mypy from this branch I can't get it to work:
I can get it to work by installing the stubs in the Python 3 venv I use to run mypy, or by explicitly specifying a Python executable:
But that seems a step back.
Ah, yes I have it using the default Python executable. I will need to think this over a bit. I believe the issue is that we want to be able to use
I suppose the "correct" thing to do would probably be to make
Hm, it looks like the logic for the Python version could be simplified: just use the default
It looks like everything becomes easier that way.
Decided I want the fix more badly than the simplified implementation.