pytype doesn't support Literal yet, but we added a `def __getattr__(name) -> Any` stub for typing_extensions (https://github.com/google/pytype/blob/master/pytype/pytd/builtins/2and3/typing_extensions.pytd), so it should be possible to annotate things with Literal without pytype complaining. Given that the PEP has been accepted, I agree that it seems reasonable to start using it.

Rebecca

On Thu, Jun 13, 2019 at 3:10 PM Jelle Zijlstra <jelle.zijlstra@gmail.com> wrote:

Yes, we should accept Literal (and other new features) as soon as enough type checkers support it, or at least are able to deal with stubs using the new feature. if pytype and PyCharm are OK with Literal, we should be able to use it.

El jue., 13 jun. 2019 a las 15:07, Guido van Rossum (<guido@python.org>) escribió:

Fine with me, -- I've been waiting for this moment anxiously. What does Google think, for pytype?

On Thu, Jun 13, 2019 at 14:00 Mark Mendoza <mendoza.mark.a@gmail.com> wrote:

Hi all,
I was wondering what our plan was to allow use of Literal types to make more expressive stubs for the standard library.
Now that PEP 586 is accepted, is it time for us to update the stubs for open, etc.?
Best,
Mark Mendoza
_______________________________________________
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/

--

--Guido (mobile)

_______________________________________________
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/

_______________________________________________
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/