On Friday, June 30, 2023 at 2:12:08 PM UTC-5 Edward K. Ream wrote: I've just asked this question <https://github.com/python/mypy/issues/15560> of the mypy devs.
Alex helpfully suggested I used dmypy, the mypy daemon. Right now dmypy is acting like mypy's evil twin, but that's likely the result of some newbie confusion on my part. dmypy will be way cool when it works properly. It has already found an outright annotation mistake. See #3413 <https://github.com/leo-editor/leo-editor/issues/3413>. But now it's time to finish the big PR :-) Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/bce15007-cf0d-4028-a155-6b06c2ec6868n%40googlegroups.com.
