Stowage/cpython
2
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-10-27 03:34:32 +00:00
Code Issues Projects Releases Packages Wiki Activity
126987 commits 7 branches 633 tags 3.2 GiB
Commit graph

349 commits

Author SHA1 Message Date
Nikita Sobolev
dc604a8c58
gh-97797: Mention __metadata__ in docstrings of typing.{_AnnotatedAlias, Annotated} (#103405) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Kirill <80244920+Eclips4@users.noreply.github.com>
 2023-04-10 15:57:17 +01:00
Alex Waygood
de18267685
gh-74690: Further optimise typing._ProtocolMeta.__instancecheck__ (#103280) 2023-04-05 17:37:36 +01:00
Alex Waygood
3246688918
gh-74690: typing: Call _get_protocol_attrs and _callable_members_only at protocol class creation time, not during isinstance() checks (#103160) 2023-04-05 12:19:03 +01:00
Alex Waygood
47753ecde2
gh-74690: typing: Simplify and optimise _ProtocolMeta.__instancecheck__ (#103159) 2023-04-05 10:07:30 +01:00
Alex Waygood
6d59c9e32e
gh-102433: Use inspect.getattr_static in typing._ProtocolMeta.__instancecheck__ (#103034) 2023-04-02 14:22:19 +01:00
Alex Waygood
361a3eaf1b
gh-74690: Micro-optimise typing._get_protocol_attrs (#103152) 
Improve performance of `isinstance()` checks against runtime-checkable protocols
 2023-03-31 21:54:50 +01:00
Alex Waygood
9048d73f7a
gh-74690: typing: Don't unnecessarily call _get_protocol_attrs twice in _ProtocolMeta.__instancecheck__ (#103141) 
Speed up `isinstance()` calls against runtime-checkable protocols
 2023-03-31 18:37:24 +01:00
Nikita Sobolev
adb0621652
gh-88965: typing: fix type substitution of a list of types after initial ParamSpec substitution (#102808) 
Previously, this used to fail:

```py
from typing import *
T = TypeVar("T")
P = ParamSpec("P")

class X(Generic[P]):
    f: Callable[P, int]

Y = X[[int, T]]
Z = Y[str]
```

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-03-23 16:26:11 +00:00
Nikita Sobolev
a297d59609
Add comments to {typing,_collections_abc}._type_repr about each other (#102752) 
Remove `if` condition in `_collections_abc._type_repr` that's no longer needed, bringing it in sync with `typing._type_repr`.
 2023-03-16 13:05:38 +00:00
Nikita Sobolev
2b5781d659
gh-102615: Use list instead of tuple in repr of paramspec (#102637) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-03-15 09:33:41 +00:00
Steven Troxler
0f89acf6cc
gh-101561: Add typing.override decorator (#101564) 
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-02-27 13:16:11 -08:00
Nikita Sobolev
807d6b576f
gh-101015: Fix typing.get_type_hints with unpacked *tuple (PEP 646) (#101031) 2023-01-23 07:52:58 +00:00
Steve Dower
b5d4347950
gh-86682: Adds sys._getframemodulename as an alternative to using _getframe (GH-99520) 
Also updates calls in collections, doctest, enum, and typing modules to use _getframemodulename first when available.
 2023-01-13 11:31:06 +00:00
david-why
68981578ec
Correct typo in typing.py (#100423) 
In the docstring of `ParamSpec`, the name of `P = ParamSpec('P')` was
mistakenly written as `'T'`.
 2022-12-22 11:20:52 +00:00
Erik De Bonte
5c19050546
gh-99957: Add frozen_default parameter on dataclass_transform (#99958) 2022-12-05 19:35:43 -08:00
Wenzel Jakob
c314198fad
gh-98253: Break potential reference cycles in external code worsened by typing.py lru_cache (#98591) 2022-11-30 08:33:32 +00:00
Serhiy Storchaka
8f2fb7dfe7
gh-99344, gh-99379, gh-99382: Fix issues in substitution of ParamSpec and TypeVarTuple (GH-99412) 
* Fix substitution of TypeVarTuple and ParamSpec together in user generics.

* Fix substitution of ParamSpec followed by TypeVarTuple in generic aliases.

* Check the number of arguments in substitution in user generics containing a
  TypeVarTuple and one or more TypeVar.
 2022-11-29 09:46:52 +02:00
Serhiy Storchaka
0e15c31c7e
gh-98852: Fix subscription of type aliases (GH-98920) 
Fix subscription of type aliases containing bare generic types or types
like TypeVar: for example tuple[A, T][int] and tuple[TypeVar, T][int],
where A is a generic type, and T is a type variable.
 2022-11-01 09:33:09 +02:00
Anh71me
0cd33e11fe
GH-96079 Fix missing field name for _AnnotatedAlias (#96080) 2022-08-31 16:02:24 -07:00
Nikita Sobolev
4217393aee
gh-95987: Fix repr of Any type subclasses (#96412) 2022-08-30 10:36:16 -07:00
Nikita Sobolev
75177358a6
gh-96385: Correctly raise error on [*T, *V] substitution (GH-96386) 2022-08-30 10:34:55 +03:00
Max Zhenzhera
90a6e56e56
docs: typing.Self, fix typo (GH-94771) 
* fix typo - double spelled word 'use'

* change methods names to the infinitive form
 2022-07-12 18:45:52 +01:00
Ken Jin
6442a9dd21
gh-94607: Fix subclassing generics (GH-94610) 
Co-authored-by: Serhiy Storchaka <3659035+serhiy-storchaka@users.noreply.github.com>
 2022-07-09 12:18:01 +08:00
Gregory Beauregard
81e91c95a5
bpo-46642: Explicitly disallow subclassing of instaces of TypeVar, ParamSpec, etc (GH-31148) 
The existing test covering this case passed only incidentally. We
explicitly disallow doing this and add a proper error message.

Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
 2022-06-25 09:35:33 +03:00
Serhiy Storchaka
f9433fff47
gh-89828: Do not relay the __class__ attribute in GenericAlias (#93754) 
list[int].__class__ returned type, and isinstance(list[int], type)
returned True. It caused numerous problems in code that checks
isinstance(x, type).
 2022-06-18 11:34:57 +03:00
Serhiy Storchaka
3473817106
gh-91162: Support splitting of unpacked arbitrary-length tuple over TypeVar and TypeVarTuple parameters (alt) (GH-93412) 
For example:

  A[T, *Ts][*tuple[int, ...]] -> A[int, *tuple[int, ...]]
  A[*Ts, T][*tuple[int, ...]] -> A[*tuple[int, ...], int]
 2022-06-12 16:22:01 +03:00
Shantanu
f20a6a54fb
gh-91860: documentation for typing.dataclass_transform (#92768) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2022-05-20 07:32:29 -07:00
Alex Waygood
eef47d5bc7
Add __slots__ to typing._NotIterable (GH-92570) 2022-05-10 12:17:54 +03:00
Serhiy Storchaka
9d25db9db1
gh-91162: Fix substitution of unpacked tuples in generic aliases (GH-92335) 2022-05-08 18:32:32 +03:00
Matthew Rahtz
4739997e14
gh-92261: Disallow iteration of Union (and other special forms) (GH-92262) 2022-05-08 16:21:28 +03:00
Samodya Abey
f6f36cc269
bpo-44863: Allow generic typing.TypedDict (#27663) 
Co-authored-by: Ken Jin <28750310+Fidget-Spinner@users.noreply.github.com>
Co-authored-by: Yurii Karabas <1998uriyyo@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Serhiy Storchaka <storchaka@gmail.com>
 2022-05-03 07:21:42 -06:00
Shantanu
ebb8b512e9
gh-91621: Fix typing.get_type_hints for collections.abc.Callable (#91656) 
This mirrors logic in typing.get_args. The trickiness comes from how we
flatten args in collections.abc.Callable, see
https://bugs.python.org/issue42195
 2022-05-02 17:08:28 -06:00
Serhiy Storchaka
b04e02c57f
bpo-43923: Add support for generic typing.NamedTuple (#92027) 2022-05-02 16:41:23 -06:00
Serhiy Storchaka
e8c2f72b94
bpo-43224: Implement substitution of unpacked TypeVarTuple in C (GH-31828) 
Co-authored-by: Matthew Rahtz <mrahtz@gmail.com>
 2022-04-30 08:22:46 +03:00
Serhiy Storchaka
81120b6754
bpo-44791: Accept ellipsis as the last argument of typing.Concatenate (#30969) 2022-04-29 15:01:40 -06:00
Jelle Zijlstra
5397b5afc1
gh-91860: Add typing.dataclass_transform (PEP 681) (#91861) 
Copied from typing-extensions (python/typing#1054, python/typing#1120).

Documentation is intentionally omitted, so we can focus on getting the
runtime part in before the feature freeze.
 2022-04-25 20:30:25 -07:00
Jelle Zijlstra
93d280141c
gh-90633: Improve error and docs for typing.assert_never (#91720) 
Closes #90633

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2022-04-25 06:40:18 -07:00
Matthew Rahtz
5e130a8da4
bpo-43224: Implement pickling of TypeVarTuples (#32119) 
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 2022-04-21 21:22:53 -07:00
Jelle Zijlstra
055760ed9e
gh-89263: Add typing.get_overloads (GH-31716) 
Based on suggestions by Guido van Rossum, Spencer Brown, and Alex Waygood.

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Guido van Rossum <gvanrossum@gmail.com>
Co-authored-by: Ken Jin <kenjin4096@gmail.com>
 2022-04-16 09:01:43 -07:00
Matthew Rahtz
f2bc12f0d5
bpo-43224: Add tests for TypeVarTuple substitution in Annotated (GH-31846) 2022-04-15 21:24:28 -07:00
Serhiy Storchaka
15537c51c1
bpo-43224: Forbid TypeVar substitution with Unpack (GH-32031) 2022-04-12 20:08:49 -07:00
Jelle Zijlstra
ac6c3de03c
gh-91243: Add typing.Required and NotRequired (PEP 655) (GH-32419) 
I talked to @davidfstr and I offered to implement the runtime part of PEP 655
to make sure we can get it in before the feature freeze. We're going to defer
the documentation to a separate PR, because it can wait until after the feature
freeze.

The runtime implementation conveniently already exists in typing-extensions,
so I largely copied that.

Co-authored-by: David Foster <david@dafoster.net>
 2022-04-12 12:31:02 -07:00
Adrian Garcia Badaracco
5f2abae61e
bpo-44807: Allow Protocol classes to define __init__ (GH-31628) 
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 2022-04-11 07:51:25 -07:00
Jelle Zijlstra
cfb849a326
bpo-47088: Add typing.LiteralString (PEP 675) (GH-32064) 
Co-authored-by: Nick Pope <nick@nickpope.me.uk>
 2022-04-05 07:21:03 -07:00
Shantanu
5a4973e29f
bpo-46998: Allow subclassing Any at runtime (GH-31841) 
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 2022-04-04 19:35:29 -07:00
Matthew Rahtz
e8e737bcf6
bpo-43224: Implement PEP 646 grammar changes (GH-31018) 
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 2022-03-26 09:55:35 -07:00
Shantanu
3354245daf
bpo-46480: rephrase typing.assert_type docs (GH-32069) 
The goal here is to reduce potential confusion between
`assert_type(val, type)` and `assert isinstance(val, typ)`.

The former is meant to ask a type checker to confirm a fact, the latter
is meant to tell a type checker a fact. The behaviour of the latter more
closely resembles what I'd expect from the prior phrasing of
"assert [something] to the type checker".
 2022-03-23 19:15:06 -07:00
Jelle Zijlstra
3a2b89580d
bpo-43224: Add TypeVarTuple.__name__ (GH-31954) 
I noticed that TypeVar and ParamSpec put their name in a __name__
attribute, but TypeVarTuple doesn't. Let's be consistent.
 2022-03-18 10:56:36 -07:00
Serhiy Storchaka
15df8f8d89
bpo-46981: Remove typing._TypingEmpty (GH-31836) 
* get_args(Tuple[()]) now returns () instead of ((),).
* Tuple[Unpack[Ts]][()] now returns the result equal to Tuple[()].
 2022-03-17 09:52:24 +02:00
Jelle Zijlstra
96568e995d
bpo-46480: add typing.assert_type (GH-30843) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: David Foster <david@dafoster.net>
 2022-03-16 20:02:26 -07:00