diff options
author | Michael J. Sullivan <sully@msully.net> | 2019-05-11 18:17:24 (GMT) |
---|---|---|
committer | Ivan Levkivskyi <levkivskyi@gmail.com> | 2019-05-11 18:17:24 (GMT) |
commit | d8320ecb86da8df7c13d8bf8582507f736aa2924 (patch) | |
tree | 87fc131f7bfdda0688b1d93ab9bce801c5f8a944 /Tools/freeze | |
parent | 6236c9823ef3e8e2229b0598d3d8189adf5e00f2 (diff) | |
download | cpython-d8320ecb86da8df7c13d8bf8582507f736aa2924.zip cpython-d8320ecb86da8df7c13d8bf8582507f736aa2924.tar.gz cpython-d8320ecb86da8df7c13d8bf8582507f736aa2924.tar.bz2 |
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 'Tools/freeze')
0 files changed, 0 insertions, 0 deletions