Repository navigation
os.EX_OK exists on Win32 #10242
Description
Running python.exe -m mypy . on a directory where there's a script with from os import EX_OK leads to an error on Windows:
pdfcomments\__main__.py:20: error: Module "os" has no attribute "EX_OK"; maybe "X_OK"? [attr-defined]
stdlib/os/__init__.pyi contains a type hint for EX_OK that is guarded by an if sys.platform != "win32" block. However, since python/cpython@19459f8, EX_OK has been supported on Windows. It should be placed outside the guard block.
Activity
AlexWaygood commentedon Jun 2, 2023
Thanks, your analysis looks accurate— PR welcome!
Add os.EX_OK for py3.11 on Windows
sobolevn commentedon Jun 12, 2023
@michaelmhoffman I see your commit, but I cannot find a PR link :)
Looks like you didn't hit "Create PR" button.
aminalaee commentedon Sep 22, 2023
With credits to @michaelmhoffman , created a PR for this.