The check_leo script is now in devel

14 views

Skip to first unread message

Edward K. Ream

unread,

Dec 4, 2025, 6:50:37 AM (8 days ago) Dec 4

to leo-editor

Leo's devel branch now contains leo/scripts/check_leo.py. I'm proud of this work. See PR #4484 for details. Also, the module-level docstring contains a high-level overview.

This script marks the end of my interest in heavyweight checking tools such as mypy, pylint, or pyflakes. These last five days have freed me from decades of delusional thinking.

Other personal milestones have been happy/sad experiences. Not this one. I feel liberated from endless frustration.

Edward

Edward K. Ream

unread,

Dec 4, 2025, 7:03:15 AM (8 days ago) Dec 4

to leo-editor

On Thursday, December 4, 2025 at 5:50:37 AM UTC-6 Edward K. Ream wrote:

> The module-level docstring contains a high-level overview.

Here is the docstring, slightly edited:

This script checks Leo's most important files for potential attribute errors. This script discovered bugs that neither mypy, nor pylint, nor pyflakes found.

This script contains many Leo-specific hacks. In particular, Leo's naming conventions allow the script to convert names to live objects.

Despite (because of) these hacks, this script does a lot with minimal infrastructure. Because of this simplicity, this script may be of interest to devs in other projects.

This script is fast: it checks files about as fast as pyflakes.