Skip to content

[very much a wip] pep 612 #9250

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

Closed
hauntsaninja wants to merge 19 commits into from
Closed

[very much a wip] pep 612 #9250

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
6da27da
mypy: [minor] use get_type_vars
Feb 25, 2020
e7d7726
semanal: make some typevar functions reusable for paramspec
Feb 25, 2020
914866d
tests: add fixture for mypy_extensions.ParamSpec
Feb 25, 2020
2dc2cfe
semanal: add test for ParamSpec
Feb 25, 2020
1afd84b
semanal: process ParamSpecs
Feb 25, 2020
3c2c655
nodes: add node for ParamSpec
Apr 7, 2020
5f79199
checkexpr: add paramspec visitor to ExpressionChecker
Apr 7, 2020
69d4ca7
literals: [minor] add a useless visitor method
Aug 2, 2020
ffb3f9b
types: add TypeVarLikeDef, ParamSpecDef
Apr 7, 2020
b7309ea
tvar_scope: support ParamSpec
Apr 7, 2020
375a6a3
semanal: disallow paramspec in generic class for now
Apr 7, 2020
333d337
tests: [incomplete] add the basic tests from PEP 612
Feb 25, 2020
72661e1
types: [causes unsolved type errors] change type of CallableType.vari…
Apr 7, 2020
3f72d8f
applytype: use zip, closure
Aug 2, 2020
fedbd57
anal: generalise TypeVarList, TypeVariableQuery
Aug 2, 2020
51bba7e
typeanal: error for unbound ParamSpec
Aug 2, 2020
b5a566c
types: add ParamSpecType
Aug 2, 2020
1ad8b65
expandtype: fix type errors
Aug 2, 2020
c0f6f26
typeanal: error for invalid location for ParamSpec
Aug 2, 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
Next Next commit
semanal: add test for ParamSpec
  • Loading branch information
hauntsaninja
hauntsaninja committed Aug 2, 2020
commit 2dc2cfe9583506ff04258e123a1588d3eae49a3f
9 changes: 9 additions & 0 deletions test-data/unit/semanal-errors.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1419,3 +1419,12 @@ def g() -> None:
# N: (Hint: Use "T" in function signature to bind "T" inside a function)
[builtins fixtures/dict.pyi]
[out]

[case testParamSpec]
from mypy_extensions import ParamSpec

TParams = ParamSpec('TParams')
TP = ParamSpec('?') # E: String argument 1 '?' to ParamSpec(...) does not match variable name 'TP'
TP2: int = ParamSpec('TP2') # E: Cannot declare the type of a parameter specification

[out]