RetroSearch Browse

Sat May 12 00:08:40 EDT 2018 · https://mail.python.org/pipermail/python-dev/2018-May/153505.html

On Fri, May 11, 2018 at 11:57 PM, Barry Warsaw <barry at python.org> wrote:

> On May 11, 2018, at 12:23, Guido van Rossum <guido at 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20180512/6c7147d2/attachment.html>

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2018-May/153505.html below:

[Python-Dev] Python startup time - daemon