Regarding `mypy` config, what’s the reason for hav...
# generalc
curved-television-6568
11/14/2022, 4:59 PMRegarding
mypyextra_requirementsextra_type_stubsh
hundreds-father-404
11/14/2022, 5:28 PMrequirements are intended for MyPy plugins. They go into mypy.pex
type stubs go into the user's merged PEX, meanwhile, rather than the tool PEX
It was necessary for a few reasons and took a few iterations. I can try to backtrace, but also I think the PRs should explain + comments in code
How come?
c
curved-television-6568
11/14/2022, 5:43 PMtrying to figure out why/what is correct, rather than this:
Copy code
extra_requirements = ["django-stubs==1.9.0", "types-requests==2.27"]
extra_type_stubs = ["django-stubs==1.9.0", "types-requests==2.27"]
source_plugins = ["src/python/..."]
lockfile = "3rdparty/python/lockfiles/mypy.txt"curved-television-6568
11/14/2022, 5:44 PMand likely the result of trial and error until something works then don’t touch it 😛
h
hundreds-father-404
11/14/2022, 5:46 PMhaving to put django-stubs in both is right. it's a weird one that it's both stubs and a plugin 😕
hundreds-father-404
11/14/2022, 5:47 PMwrong to put types-requests in both
c
curved-television-6568
11/14/2022, 5:53 PMAh, yea found the “awkward” explanation regarding django-stubs here: https://github.com/pantsbuild/pants/pull/12597
was a good PR trail, thanks for that.
6 Views