penguinolog / urwid / 37904525591

89%

Build Type

push

github

Committed by web-flow

Commit Message

typing: support pyrefly (#1410)

Add the Pyrefly type checker next to mypy, and fix what it and the stubs found:

- web: send the "polling child" update as UTF-8 bytes; socket.sendall() rejected str.
- split_repr: fall back to the replaced __repr__ instead of recursing in subclasses.
- GridFlow: define selectable() and base_widget, so type checkers can instantiate it.
- lcd: watch the serial port fileno() instead of an fd that may be None.
- Annotate and narrow the code Pyrefly reports; suppress the rest inline with reasons.
- Install types-pyserial for mypy and pyrefly; drop the dead serial and trio ignores.
- Bump the pyproject-fmt hook: v2.26.0 regroups [[tool.pyrefly.sub-config]] tables.
- Give each pyproject list entry its own comment, as the formatter sorts the lists.
- Comment why the test suite is not checked, where each checker leaves it out.

| what | from | to |
| --- | --- | --- |
| pyrefly (pyrefly-requirements.txt, pyrefly group) | absent | ==1.3.2 |
| types-pyserial (mypy and pyrefly requirements and groups) | absent | ==3.5.0.20260712 |
| pyproject-fmt (pre-commit rev) | v2.26.0 | v2.30.1 |

| what | from | to |
| --- | --- | --- |
| Pyrefly job (pythonpackage.yml) | absent | required by Test |
| isolated_pyrefly.yml | absent | runs on pyrefly-requirements.txt changes |
| tox env pyrefly | absent | pyrefly check |

Coverage Stats

4726 of 5498 branches covered (85.96%)

Branch coverage included in aggregate %.

51 of 53 new or added lines in 17 files covered. (96.23%)

248 existing lines in 18 files now uncovered.

11926 of 13207 relevant lines covered (90.3%)

10.9 hits per line