| Server IP : 121.121.20.254 / Your IP : 216.73.217.51 Web Server : Microsoft-IIS/10.0 System : Windows NT WEB-SERVER 10.0 build 20348 (Windows Server 2022) AMD64 User : IUSR ( 0) PHP Version : 8.3.28 Disable Function : NONE MySQL : ON | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /Python313/Lib/_pyrepl/ |
Upload File : |
# Config file for running mypy on _pyrepl. # Run mypy by invoking `mypy --config-file Lib/_pyrepl/mypy.ini` # on the command-line from the repo root [mypy] files = Lib/_pyrepl mypy_path = $MYPY_CONFIG_FILE_DIR/../../Misc/mypy explicit_package_bases = True python_version = 3.13 platform = linux pretty = True # Enable most stricter settings enable_error_code = ignore-without-code,redundant-expr strict = True # Various stricter settings that we can't yet enable # Try to enable these in the following order: disallow_untyped_calls = False disallow_untyped_defs = False check_untyped_defs = False # Various internal modules that typeshed deliberately doesn't have stubs for: [mypy-_abc.*,_opcode.*,_overlapped.*,_testcapi.*,_testinternalcapi.*,test.*] ignore_missing_imports = True # Other untyped parts of the stdlib [mypy-idlelib.*] ignore_missing_imports = True