diff options
| author | Michael J. Sullivan <sully@msully.net> | 2019-05-11 11:17:24 -0700 |
|---|---|---|
| committer | Ivan Levkivskyi <levkivskyi@gmail.com> | 2019-05-11 19:17:24 +0100 |
| commit | d8320ecb86da8df7c13d8bf8582507f736aa2924 (patch) | |
| tree | 87fc131f7bfdda0688b1d93ab9bce801c5f8a944 /Python | |
| parent | 6236c9823ef3e8e2229b0598d3d8189adf5e00f2 (diff) | |
| download | cpython-git-d8320ecb86da8df7c13d8bf8582507f736aa2924.tar.gz | |
bpo-36878: Allow extra text after `# type: ignore` comments (GH-13238)
In the parser, when using the type_comments=True option, recognize
a TYPE_IGNORE as anything containing `# type: ignore` followed by
a non-alphanumeric character. This is to allow ignores such as
`# type: ignore[E1000]`.
Diffstat (limited to 'Python')
0 files changed, 0 insertions, 0 deletions