Repository navigation
mypy cannot parse type comment of "with" and "for" statement in PEP 484 #892
Description
I tried to check type comments, but it cannot parse "with" and "for" statement as below.
# Example 1
x = [] # type: List[Employee]
x, y, z = [], [], [] # type: List[int], List[int], List[str]
x, y, z = [], [], [] # type: (List[int], List[int], List[str])
x = [
1,
2,
] # type: List[int]
# Example 2
from contextlib import contextmanager
@contextmanager
def frobnicate():
yield 1
with frobnicate() as foo: # type: int
# Here foo is an int
...
# Example 3
points = [(1.0, 2.5)] # type: List[Tuple[float, float]]
for x, y in points: # type: float, float
# Here x and y are floats
...$ mypy type_comments.py
type_comments.py:17: error: Parse error before "int"
type_comments.py:23: error: Parse error before "float"
Activity
o11c commentedon Oct 5, 2015
Not supporting type comments of anything other than a function (is that even in the PEP?) or assignment is a known bug. I'm currently rewriting the parser (to track location information better and give better errors) but haven't gotten to type comments yet.
Ugh, since when are tuples of types directly supported? I know it's given in an example in the PEP, but it doesn't specify this stuff at all.
@gvanrossum What are we supposed to do about an unclear PEP?
mgeisler commentedon Mar 14, 2016
I ran into this today and have resorted to using
caston the context manager:That makes the work-around nicely localized.
gvanrossum commentedon Apr 7, 2016
Since this is specified in PEP 484, mypy should support it. But it's not high priority.
ddfisher commentedon Apr 8, 2016
The WIP fast parser (#1353) supports parsing types on
withstatements, so this should be easier to implement after that lands.gvanrossum commentedon Jul 14, 2016
Moving to 0.5.0 given we aren't very far with the fast parser yet and this feels pretty unimportant.
gvanrossum commentedon Nov 1, 2016
(This is still TODO; we parse those type comments but don't use them.)
afrieder commentedon Jan 20, 2017
How would type comments work with multiple targets in
withstmts. For example:Would the type comment be of the form
# type: int, float, float, int, where the number of elements in the type-tuple must match the number of targets in the with?It's a bit complicated by the fact that when parsing, this is read as two distinct targets (each of which has a tuple type), so maybe
# type: Tuple[int, float], Tuple[float, int]is sensible?gvanrossum commentedon Jan 20, 2017
Maybe like this:
This may be tricky because IIRC the
# type:parser currently only doesn't allow more than one top-level type.ddfisher commentedon Jan 20, 2017
I think this should work okay for the new parser, actually.
Tuple[int, float], Tuple[str, str]is a valid Python expression which parses the same as(Tuple[int, float], Tuple[str, str]), so there shouldn't be an issue. (And I triedmypy --fast-parser -c 'x, y = 1, 2 # type: int, str', which works and gives you the error you'd expect.)