# 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
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| __pycache__ | Folder | 0755 |
|
|
| __init__.py | File | 925 B | 0644 |
|
| __main__.py | File | 422 B | 0644 |
|
| _minimal_curses.py | File | 1.8 KB | 0644 |
|
| _threading_handler.py | File | 2.12 KB | 0644 |
|
| base_eventqueue.py | File | 3.75 KB | 0644 |
|
| commands.py | File | 12.01 KB | 0644 |
|
| completing_reader.py | File | 9.81 KB | 0644 |
|
| console.py | File | 6.71 KB | 0644 |
|
| curses.py | File | 1.21 KB | 0644 |
|
| fancy_termios.py | File | 2.51 KB | 0644 |
|
| historical_reader.py | File | 12.93 KB | 0644 |
|
| input.py | File | 3.69 KB | 0644 |
|
| keymap.py | File | 6.31 KB | 0644 |
|
| main.py | File | 1.89 KB | 0644 |
|
| mypy.ini | File | 870 B | 0644 |
|
| pager.py | File | 5.68 KB | 0644 |
|
| reader.py | File | 27.06 KB | 0644 |
|
| readline.py | File | 19.75 KB | 0644 |
|
| simple_interact.py | File | 5.66 KB | 0644 |
|
| trace.py | File | 433 B | 0644 |
|
| types.py | File | 354 B | 0644 |
|
| unix_console.py | File | 26.13 KB | 0644 |
|
| unix_eventqueue.py | File | 2.46 KB | 0644 |
|
| utils.py | File | 2.39 KB | 0644 |
|
| windows_console.py | File | 21.19 KB | 0644 |
|
| windows_eventqueue.py | File | 991 B | 0644 |
|