Re: b4 type checking

On Thu, Apr 02, 2026 at 03:28:55PM -0400, Konstantin Ryabitsev wrote:
> On Thu, Apr 02, 2026 at 01:15:51PM -0400, Tamir Duberstein wrote:
> > I sent some typing improvements back in June 2025 and I see you've
> > been steadily pushing things forward since then. However, when I try
> > to run `uv tool run mypy .` on b4 I get just over 350 errors. Is there
> > an invocation that's expected to be green?
> 
> For the most part, "mypy --strict src/b4" gets only a few errors. The ones
> you're seeing are mostly tests, I think. I see that uv reports more -- I'll
> take a look at them.
> 

There were just 3 that I found. The report is green now:

$ uv tool run mypy --strict --python-executable "$(which python3)" src/b4/
Success: no issues found in 28 source files

There are a few more in src/tests, but I don't care about them as much.

Regards,
-- 
KR