On Sat, May 22, 2021 at 1:59 AM Michael Mitchell <epsilonmichael@gmail.com> wrote:

A similar proposal, just FYI https://github.com/python/mypy/issues/7894

Thanks for pointing that out. : ) 

I'm admittedly not quite sure what Ivan was referring to about extra dependencies and "fine-grained mode." 

Thanks,

James

 

_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
Member address: guido@python.org