Skip to content

pep612: more semantic analysis for paramspec #9422

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
JukkaL merged 13 commits into from
Sep 8, 2020
Merged

pep612: more semantic analysis for paramspec #9422

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
6417364
types: add TypeVarLikeDef, ParamSpecDef
Apr 7, 2020
489a3f8
tvar_scope: support ParamSpec
Apr 7, 2020
dbfd6b5
semanal: disallow paramspec in generic class for now
Apr 7, 2020
8cb584f
tests: add some basic tests from PEP 612
Feb 25, 2020
335fdf6
types: change type of CallableType.variables
Apr 7, 2020
fe7b655
applytype: use zip, closure
Aug 2, 2020
21a15ae
anal: generalise TypeVarList, TypeVariableQuery
Aug 2, 2020
77dd1cd
typeanal: error for unbound ParamSpec
Aug 2, 2020
c7a80de
typeanal: error for invalid location for ParamSpec
Aug 2, 2020
af72219
applytype: make get_target_type top level
Sep 7, 2020
12fab24
tvar_scope: [minor] fix docstring nit
Sep 7, 2020
1c1d15c
typeanal: use helper to construct callable for paramspec
Sep 7, 2020
465113a
typeanal: add hint for correct usage of ParamSpec
Sep 7, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
typeanal: add hint for correct usage of ParamSpec
  • Loading branch information
hauntsaninja
hauntsaninja committed Sep 7, 2020
commit 465113a334bccc200ba6a520a24dc8e36dd3a9e8
5 changes: 5 additions & 0 deletions mypy/typeanal.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -205,6 +205,11 @@ def visit_unbound_type_nonoptional(self, t: UnboundType, defining_literal: bool)
self.fail('ParamSpec "{}" is unbound'.format(t.name), t)
return AnyType(TypeOfAny.from_error)
self.fail('Invalid location for ParamSpec "{}"'.format(t.name), t)
self.note(
'You can use ParamSpec as the first argument to Callable, e.g., '
"'Callable[{}, int]'".format(t.name),
t
)
return AnyType(TypeOfAny.from_error)
if isinstance(sym.node, TypeVarExpr) and tvar_def is not None and self.defining_alias:
self.fail('Can\'t use bound type variable "{}"'
Expand Down
18 changes: 14 additions & 4 deletions test-data/unit/check-parameter-specification.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,21 @@ from typing_extensions import ParamSpec, Concatenate
P = ParamSpec('P')

x: P # E: ParamSpec "P" is unbound

def foo1(x: Callable[P, int]) -> Callable[P, str]: ...
def foo2(x: P) -> P: ... # E: Invalid location for ParamSpec "P"

def foo2(x: P) -> P: ... # E: Invalid location for ParamSpec "P" \
# N: You can use ParamSpec as the first argument to Callable, e.g., 'Callable[P, int]'

# TODO(shantanu): uncomment once we have support for Concatenate
# def foo3(x: Concatenate[int, P]) -> int: ... $ E: Invalid location for Concatenate
def foo4(x: List[P]) -> None: ... # E: Invalid location for ParamSpec "P"
def foo5(x: Callable[[int, str], P]) -> None: ... # E: Invalid location for ParamSpec "P"
def foo6(x: Callable[[P], int]) -> None: ... # E: Invalid location for ParamSpec "P"

def foo4(x: List[P]) -> None: ... # E: Invalid location for ParamSpec "P" \
# N: You can use ParamSpec as the first argument to Callable, e.g., 'Callable[P, int]'

def foo5(x: Callable[[int, str], P]) -> None: ... # E: Invalid location for ParamSpec "P" \
# N: You can use ParamSpec as the first argument to Callable, e.g., 'Callable[P, int]'

def foo6(x: Callable[[P], int]) -> None: ... # E: Invalid location for ParamSpec "P" \
# N: You can use ParamSpec as the first argument to Callable, e.g., 'Callable[P, int]'
[builtins fixtures/tuple.pyi]