mirrors/cpython
1
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2025-07-17 16:25:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 8
127800 commits 7 branches 620 tags 2.7 GiB
Commit graph

372 commits

Author SHA1 Message Date
Jelle Zijlstra
2cb445635e
Remove raw asserts in test_typing.py (#104951) 2023-05-26 15:03:02 +01:00
Tomas R
fea8632ec6
gh-104786: Remove kwargs-based TypedDict creation (#104891) 
Deprecated since Python 3.11.

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-05-25 21:14:58 +01:00
Jelle Zijlstra
2b7027d0b2
gh-104935: typing: Fix interactions between @runtime_checkable and Generic (#104939) 
---------

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-05-25 16:43:40 +00:00
Jelle Zijlstra
fe77a99fc8
gh-104879: Fix TypeAliasType.__module__ in exec() (#104881) 2023-05-24 11:48:13 -07:00
Jelle Zijlstra
1497607a8e
Improve test coverage for is_typeddict (#104884) 
In particular, it's important to test that is_typeddict(TypedDict)
returns False.
 2023-05-24 11:46:00 -07:00
Jelle Zijlstra
c0ab7d401c
gh-104797: Allow Protocols to inherit from collections.abc.Buffer (#104827) 2023-05-24 08:24:53 +00:00
Sebastian Rittau
abdda5b133
gh-92871: Remove typing.{io,re} namespaces (#92873) 
Closes #92871

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 2023-05-23 13:44:26 +00:00
Alex Waygood
b870b1fa75
gh-74690: Make a typing test more resilient (#104691) 2023-05-20 17:13:37 -07:00
Jelle Zijlstra
8f1f3b9abd
gh-104600: Make type.__type_params__ writable (#104634) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-05-19 09:04:47 -07:00
Alex Waygood
f7835fc7e9
gh-74690: Don't set special protocol attributes on non-protocol subclasses of protocols (#104622) 
Don't set special protocol attributes on non-protocol subclasses of protocols
 2023-05-19 00:34:40 +01:00
Alex Waygood
b27fe67f3c
gh-104555: Runtime-checkable protocols: Don't let previous calls to isinstance() influence whether issubclass() raises an exception (#104559) 
Co-authored-by: Carl Meyer <carl@oddbird.net>
 2023-05-17 23:43:12 +00:00
Jelle Zijlstra
26931944dd
typing: Add more tests for TypeVar (#104571) 
During the PEP 695 implementation at one point I made
TypeVar.__name__ return garbage, and all of test_typing passed.
So I decided to add a few more tests. In the process I discovered
a minor incompatibility from the C implementation of TypeVar:
empty constraints were returned as None instead of an empty tuple.
 2023-05-17 06:08:21 -07:00
Alex Waygood
1163782868
gh-104555: Fix isinstance() and issubclass() for runtime-checkable protocols that use PEP 695 (#104556) 
Fixes #104555
 2023-05-16 16:38:10 +00:00
Jelle Zijlstra
24d8b88420
gh-103763: Implement PEP 695 (#103764) 
This implements PEP 695, Type Parameter Syntax. It adds support for:

- Generic functions (def func[T](): ...)
- Generic classes (class X[T](): ...)
- Type aliases (type X = ...)
- New scoping when the new syntax is used within a class body
- Compiler and interpreter changes to support the new syntax and scoping rules 

Co-authored-by: Marc Mueller <30130371+cdce8p@users.noreply.github.com>
Co-authored-by: Eric Traut <eric@traut.com>
Co-authored-by: Larry Hastings <larry@hastings.org>
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-05-15 20:36:23 -07:00
Alex Waygood
c527eb1c2a
gh-91896: Revert some very noisy DeprecationWarnings for ByteString (#104424) 2023-05-13 09:55:35 +01:00
Alex Waygood
f0f5bb3204
gh-91896: Improve visibility of ByteString deprecation warnings (#104294) 2023-05-11 23:01:31 -07:00
Franek Magiera
2d526cd32f
GH-103629: Update Unpack's repr in compliance with PEP 692 (#104048) 2023-05-01 17:58:50 +00:00
Kirill Podoprigora
4181d078fc
gh-104036: Fix direct invocation of test_typing (#104037) 
Previously, `python -m test test_typing` worked, but `python Lib/test/test_typing.py` did not.
 2023-05-01 13:42:59 +00:00
Nikita Sobolev
3d29edaf0a
gh-103746: Test types.UnionType and Literal types together (#103747) 2023-04-24 10:55:16 -06:00
Nikita Sobolev
5041c2ba6e
gh-103592: Add tests of Literal with Enum and Union of Literals (#103706) 2023-04-23 11:50:23 -06:00
Adrian Garcia Badaracco
0056701aa3
GH-103699: Add __orig_bases__ to various typing classes (#103698) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
 2023-04-23 08:33:39 -06:00
Nikita Sobolev
a28e2ce3fb
gh-103395: Improve typing._GenericAlias.__dir__ coverage (#103396) 2023-04-10 12:09:19 +01:00
Alex Waygood
800382a2b0
gh-74690: Add more tests for runtime-checkable protocols (#103347) 2023-04-07 18:21:19 +01:00
Alex Waygood
6d59c9e32e
gh-102433: Use inspect.getattr_static in typing._ProtocolMeta.__instancecheck__ (#103034) 2023-04-02 14:22:19 +01:00
Nikita Sobolev
60bdc16b45
gh-103054: typing: Improve Callable type substitution tests (#103055) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
Co-authored-by: Eclips4 <80244920+Eclips4@users.noreply.github.com>
 2023-03-28 20:04:26 -07: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
fbe82fdd77
gh-102721: Improve coverage of _collections_abc._CallableGenericAlias (#102722) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2023-03-16 14:47:30 +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
Alex Waygood
5ffdaf748d
gh-102433: Add tests for how classes with properties interact with isinstance() checks on typing.runtime_checkable protocols (#102449) 
Co-authored-by: Carl Meyer <carl@oddbird.net>
 2023-03-11 01:20:20 +00:00
Alex Waygood
96e1022929
gh-102444: Fix minor bugs in test_typing highlighted by pyflakes (#102445) 2023-03-05 21:37:29 +00:00
JosephSBoyle
7894bbe94b
Fix unused classes in a typing test (GH-102437) 
As part of investigation issue https://github.com/python/cpython/issues/102433, I discovered what I believe to be an error where two classes `CI` and `DI` are not being used. The assertions beneath them act on `C` and `D`, duplicating existing assertions in this test.

Automerge-Triggered-By: GH:AlexWaygood
 2023-03-05 07:07:44 -08:00
Nikita Sobolev
12011dd8ba
gh-102324: Improve tests of typing.override (#102325) 
Fixes #101564
 2023-03-02 19:59:05 -08: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
Eclips4
b96b344f25
gh-101562: typing: add tests for inheritance with NotRequired & Required in parent fields (#101563) 2023-02-06 11:28:24 -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
Erik De Bonte
5c19050546
gh-99957: Add frozen_default parameter on dataclass_transform (#99958) 2022-12-05 19:35:43 -08: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
Nikita Sobolev
a0bc75e2fd
test_typing: use all pickle protocols (#99154) 2022-11-06 11:53:57 +00: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
Nikita Sobolev
9495360c72
gh-98713: Use @cpython_only for a test that fails on PyPy (#98714) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2022-10-26 14:15:39 +01:00
Matthew Rahtz
cb95cc24ef
GH-87390: Add remaining tests for PEP 646 (#98267) 
Co-authored-by: Guido van Rossum <gvanrossum@gmail.com>
 2022-10-25 07:44:30 -07:00
Nikita Sobolev
45c89358b7
Use more precise exception types in assertRaises in typing tests (#98650) 2022-10-25 06:33:34 -07:00
Nikita Sobolev
1ca6647f22
typing tests: _overload_dummy raises NotImplementedError, not RuntimeError (#98351) 2022-10-19 17:53:36 -07:00
Nikita Sobolev
f2d749a2c2
gh-96784: Cover more typing special forms in get_args() (#96791) 2022-09-13 19:35:52 -07:00
Nikita Sobolev
9b3d2d008a
gh-96769: Cover more typing special forms to be unsubclassable (#96772) 2022-09-13 19:35:16 -07:00
Jelle Zijlstra
f0d9136c69
gh-96478: Fix new test when run in refleak mode (#96615) 
./python.exe -m test -R : test.test_typing would fail, apparently
because the dictionary used in the @patch decorator was modified.
 2022-09-06 09:33:09 -07:00
Nikita Sobolev
f177f6f29b
gh-96478: Test @overload on C functions (#96479) 
Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
 2022-09-05 14:35:05 -07: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