Add suggestion about multiple comment syntax (#476)

Describing the status quo.
This commit is contained in:
Ethan Smith 2017-11-17 15:49:25 -08:00 committed by Guido van Rossum
parent cd0e99aa05
commit e4b790c194
1 changed files with 6 additions and 0 deletions

View File

@ -1518,6 +1518,12 @@ adding an inline ``# type: ignore`` to each line until the end of
the current indented block. At top indentation level this has
effect of disabling type checking until the end of file.
In some cases, linting tools or other comments may be needed on the same
line as a type comment. In these cases, the type comment should be before
other comments and linting markers:
# type: ignore # <comment or other marker>
If type hinting proves useful in general, a syntax for typing variables
may be provided in a future Python version.