[issue44791] Substitution of ParamSpec in Concatenate

Mehdi2277 added the comment: Concatenate[int, ...] I would interpret as a function signature with first argument int, followed by arbitrary arguments afterwards. I haven't run into this case, but ... is allowed in other spots Paramspec is allowed currently. P = Paramspec("P") class

[issue44791] Substitution of ParamSpec in Concatenate

Jelle Zijlstra added the comment: I'm looking at https://github.com/python/cpython/pull/30969 and I'm not sure what the motivation for the change is. PEP 612 is quite precise here (https://www.python.org/dev/peps/pep-0612/#id1) and allows only a ParamSpec as the last argument to

[issue44791] Substitution of ParamSpec in Concatenate

Change by Marc Mueller : -- nosy: +cdce8p ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue44791] Substitution of ParamSpec in Concatenate

Change by Alex Waygood : -- nosy: +sobolevn ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue44791] Substitution of ParamSpec in Concatenate

Change by Alex Waygood : -- nosy: +AlexWaygood ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue44791] Substitution of ParamSpec in Concatenate

Guido van Rossum added the comment: Before you start supporting things that contradict PEP 612 this should be discussed on typing-sig (or in the python/typing tracker). Honestly I'd feel more comfortable if there was agreement on typing-sig with your previous PRs in this issue as well; "it

[issue44791] Substitution of ParamSpec in Concatenate

Serhiy Storchaka added the comment: PR 27518 fixes a substitution of a ParamSpec variable with a Concatenate nad a list of types. It is not specified explicitly in PEP 612, but it does not contradict it. PR 30969 makes an ellipsis be valid as the last argument of Concatenate to fix a

[issue44791] Substitution of ParamSpec in Concatenate

Change by Serhiy Storchaka : -- pull_requests: +29147 pull_request: https://github.com/python/cpython/pull/30969 ___ Python tracker ___

[issue44791] Substitution of ParamSpec in Concatenate

Change by Jelle Zijlstra : -- nosy: +Jelle Zijlstra ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe:

[issue44791] Substitution of ParamSpec in Concatenate

miss-islington added the comment: New changeset 89db09029566cf3af04b540e33fe1ff9b32f8c8b by Miss Islington (bot) in branch '3.10': bpo-44791: Fix substitution of ParamSpec in Concatenate with different parameter expressions (GH-27518)

[issue44791] Substitution of ParamSpec in Concatenate

Serhiy Storchaka added the comment: New changeset ecfacc362dd7fef7715dcd94f2e2ca6c622ef115 by Serhiy Storchaka in branch 'main': bpo-44791: Fix substitution of ParamSpec in Concatenate with different parameter expressions (GH-27518)

[issue44791] Substitution of ParamSpec in Concatenate

Change by miss-islington : -- nosy: +miss-islington nosy_count: 3.0 -> 4.0 pull_requests: +29138 pull_request: https://github.com/python/cpython/pull/30959 ___ Python tracker

[issue44791] Substitution of ParamSpec in Concatenate

Change by Serhiy Storchaka : -- keywords: +patch pull_requests: +26033 stage: -> patch review pull_request: https://github.com/python/cpython/pull/27518 ___ Python tracker

[issue44791] Substitution of ParamSpec in Concatenate

Serhiy Storchaka added the comment: My understanding is that type expression is valid when substitute TypeVar and parameters expression is valid when substitute ParamSpec. -- ___ Python tracker

[issue44791] Substitution of ParamSpec in Concatenate

Ken Jin added the comment: Should Concatenate support substitution to begin with? PEP 612 doesn't say anything, and I am fairly certain it's a special typing form, not a generic. So I don't really understand what it means to substitute Concatenate. Then again, Callable with a nested

[issue44791] Substitution of ParamSpec in Concatenate

New submission from Serhiy Storchaka : Substitution of ParamSpec in Concatenate produces weird results: >>> import typing >>> P = typing.ParamSpec('P') >>> typing.Concatenate[str, P][int] typing.Concatenate[str, int] >>> typing.Concatenate[str, P][[int]] typing.Concatenate[str, (,)] >>>