diff options
author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2021-04-24 20:43:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-24 20:43:29 +0200 |
commit | fce898e283107ff5a4f3dbf11c8927bef1a7333a (patch) | |
tree | 6619901970d4939589b694da7a4449c7d7736ca0 /pylint/utils/utils.py | |
parent | c91f7f9fc4247b1071c841131caed9a7b4d9c6d4 (diff) | |
download | pylint-git-fce898e283107ff5a4f3dbf11c8927bef1a7333a.tar.gz |
Add new extension TypingChecker (#4382)
Diffstat (limited to 'pylint/utils/utils.py')
-rw-r--r-- | pylint/utils/utils.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pylint/utils/utils.py b/pylint/utils/utils.py index 4d4aecc1d..709ef4afc 100644 --- a/pylint/utils/utils.py +++ b/pylint/utils/utils.py @@ -245,7 +245,9 @@ def _comment(string): def _format_option_value(optdict, value): """return the user input's value from a 'compiled' value""" - if isinstance(value, (list, tuple)): + if optdict.get("type", None) == "py_version": + value = ".".join(str(item) for item in value) + elif isinstance(value, (list, tuple)): value = ",".join(_format_option_value(optdict, item) for item in value) elif isinstance(value, dict): value = ",".join(f"{k}:{v}" for k, v in value.items()) |