Re: b4 type checking

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.

Thanks,
-- 
KR