On Fri, May 11, 2018 at 11:57 PM, Barry Warsaw <ba...@python.org> wrote:
> On May 11, 2018, at 12:23, Guido van Rossum <gu...@python.org> wrote: > > > > Indeed, we have an implementation of this specific to mypy. > > Is there anything in mypy’s implementation that can be generalized into a > library? > Not sure, here's the code: https://github.com/python/mypy/blob/master/mypy/dmypy.py https://github.com/python/mypy/blob/master/mypy/dmypy_server.py (also dmypy_util.py there) -- --Guido van Rossum (python.org/~guido)
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
