Repository navigation
[typing] __origin__ invariant broken #77601
Description
| BPO | 33420 |
|---|---|
| Nosy | @gvanrossum, @ilevkivskyi, @apaszke |
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee = None
closed_at = <Date 2018-05-09.01:25:47.599>
created_at = <Date 2018-05-03.18:31:41.527>
labels = ['3.7', '3.8', 'type-bug', 'library']
title = '[typing] __origin__ invariant broken'
updated_at = <Date 2018-05-09.01:25:47.598>
user = 'https://github.com/apaszke'bugs.python.org fields:
activity = <Date 2018-05-09.01:25:47.598>
actor = 'levkivskyi'
assignee = 'none'
closed = True
closed_date = <Date 2018-05-09.01:25:47.599>
closer = 'levkivskyi'
components = ['Library (Lib)']
creation = <Date 2018-05-03.18:31:41.527>
creator = 'apaszke'
dependencies = []
files = []
hgrepos = []
issue_num = 33420
keywords = []
message_count = 4.0
messages = ['316127', '316130', '316131', '316302']
nosy_count = 3.0
nosy_names = ['gvanrossum', 'levkivskyi', 'apaszke']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'behavior'
url = 'https://bugs.python.org/issue33420'
versions = ['Python 3.7', 'Python 3.8']
Activity
apaszke commentedon May 3, 2018
Hi everyone,
I have a module that needs to inspect type annotations on a few functions. One of the types I need to special case on is typing.Tuple, and I used code like this to detect it:
This was based on the comment from the typing module (Lib/typing.py:609) that specified this particular invariant on the __origin__ attribute:
Everything worked just fine until I checked it on the alpha release of Python 3.7 in my CI. Turns out, that in that release we have
typing.Tuple[str, int].__origin__ == tuple
and not (which is the case in e.g. 3.6)
typing.Tuple[str, int].__origin__ == typing.Tuple
I know this is not a documented attribute, so it can change, but I wanted to highlight that it's either a regression, or the comment will need to be updated, so people won't try to depend on that.
ilevkivskyi commentedon May 3, 2018
Yes, the comment needs to be updated, but as you said, no guaranties about undocumented dunder attribute. We tried to preserve as much of the API as possible in 3.7 after PEP-560, but something needs to be sacrificed (especially in the purely internal API you used).
You may instead use
typing_inspectlibrary on PyPI, I am not 100% sure it will help in your case, but it hasis_tuple_typefunction that should work across several versions oftyping.apaszke commentedon May 3, 2018
Of course, I'm not expecting this to be 100% reliable, and so I'm ok with the answer that the comment is now outdated.
I'd like to avoid adding extra dependencies for so simple things, so I guess I'll just special case that in my code for now. It would be great if the typing module had some tools for introspection built in!
[-]__origin__ invariant broken[/-][+][typing] __origin__ invariant broken[/+]ilevkivskyi commentedon May 9, 2018
This is now fixed on master by 43d12a6 (the comment is updated).