[Python-checkins] bpo-40389: Improve repr of typing.Optional (#19714)
Vlad Serebrennikov
webhook-mailer at python.org
Wed Apr 29 21:06:43 EDT 2020
https://github.com/python/cpython/commit/138a9b9c2a394f30f222c23391f9515a7df9d809
commit: 138a9b9c2a394f30f222c23391f9515a7df9d809
branch: master
author: Vlad Serebrennikov <brainvlad at gmail.com>
committer: GitHub <noreply at github.com>
date: 2020-04-29T18:06:39-07:00
summary:
bpo-40389: Improve repr of typing.Optional (#19714)
files:
A Misc/NEWS.d/next/Library/2020-04-25-20-00-58.bpo-40389.FPA6f0.rst
M Lib/test/test_dataclasses.py
M Lib/test/test_typing.py
M Lib/typing.py
diff --git a/Lib/test/test_dataclasses.py b/Lib/test/test_dataclasses.py
index e8fe455fc19b4..b20103bdce51c 100644
--- a/Lib/test/test_dataclasses.py
+++ b/Lib/test/test_dataclasses.py
@@ -2028,7 +2028,7 @@ def test_docstring_one_field_with_default_none(self):
class C:
x: Union[int, type(None)] = None
- self.assertDocStrEqual(C.__doc__, "C(x:Union[int, NoneType]=None)")
+ self.assertDocStrEqual(C.__doc__, "C(x:Optional[int]=None)")
def test_docstring_list_field(self):
@dataclass
diff --git a/Lib/test/test_typing.py b/Lib/test/test_typing.py
index cab8de0f5efb2..21bc7c81f2a30 100644
--- a/Lib/test/test_typing.py
+++ b/Lib/test/test_typing.py
@@ -1750,7 +1750,7 @@ def test_extended_generic_rules_repr(self):
self.assertEqual(repr(Union[Tuple, Tuple[int]]).replace('typing.', ''),
'Union[Tuple, Tuple[int]]')
self.assertEqual(repr(Callable[..., Optional[T]][int]).replace('typing.', ''),
- 'Callable[..., Union[int, NoneType]]')
+ 'Callable[..., Optional[int]]')
self.assertEqual(repr(Callable[[], List[T]][int]).replace('typing.', ''),
'Callable[[], List[int]]')
diff --git a/Lib/typing.py b/Lib/typing.py
index c82989861927d..f3cd280a09e27 100644
--- a/Lib/typing.py
+++ b/Lib/typing.py
@@ -691,6 +691,13 @@ def copy_with(self, params):
return _GenericAlias(self.__origin__, params, name=self._name, inst=self._inst)
def __repr__(self):
+ if (self.__origin__ == Union and len(self.__args__) == 2
+ and type(None) in self.__args__):
+ if self.__args__[0] is not type(None):
+ arg = self.__args__[0]
+ else:
+ arg = self.__args__[1]
+ return (f'typing.Optional[{_type_repr(arg)}]')
if (self._name != 'Callable' or
len(self.__args__) == 2 and self.__args__[0] is Ellipsis):
if self._name:
diff --git a/Misc/NEWS.d/next/Library/2020-04-25-20-00-58.bpo-40389.FPA6f0.rst b/Misc/NEWS.d/next/Library/2020-04-25-20-00-58.bpo-40389.FPA6f0.rst
new file mode 100644
index 0000000000000..e7a60a8d5f6f4
--- /dev/null
+++ b/Misc/NEWS.d/next/Library/2020-04-25-20-00-58.bpo-40389.FPA6f0.rst
@@ -0,0 +1 @@
+``repr()`` now returns ``typing.Optional[T]`` when called for ``typing.Union`` of two types, one of which is ``NoneType``.
\ No newline at end of file
More information about the Python-checkins
mailing list