René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Convert more examples to doctests in `typing` module","articleBody":"# Feature or enhancement\r\n\r\nThere are multiple examples that are very similar to doctests, but are not doctests.\r\nI propose adding `\u003e\u003e\u003e` and `...` to them, so these examples would be checked during tests (since now we have this feature).\r\n\r\nThere are some easy ones, where just adding `\u003e\u003e\u003e` (and some imports are enough).\r\nThere are also some more complex ones, where some new types / vars are needed, but I don't think it is worth doing, because it will increase the complexity of these examples.\r\n\r\nExamples:\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L207-L217\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L252-L259\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L672-L686\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L2239-L2255\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L2268-L2280\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L2293-L2304\r\n- https://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L2899-L2909\r\n\r\nThis actually reveals a bug:\r\n\r\nhttps://github.com/python/cpython/blob/0ee2d77331f2362fcaab20cc678530b18e467e3c/Lib/typing.py#L207-L219\r\n\r\n`assert collections.abc.Callable[ParamSpec, str].__args__ == (ParamSpec, str)` example is invalid:\r\n\r\n```\r\nFile \"/Users/sobolev/Desktop/cpython2/Lib/typing.py\", line 218, in typing._should_unflatten_callable_args\r\nFailed example:\r\n    assert collections.abc.Callable[ParamSpec, str].__args__ == (ParamSpec, str)\r\nException raised:\r\n    Traceback (most recent call last):\r\n      File \"/Users/sobolev/Desktop/cpython2/Lib/doctest.py\", line 1374, in __run\r\n        exec(compile(example.source, filename, \"single\",\r\n      File \"\u003cdoctest typing._should_unflatten_callable_args[2]\u003e\", line 1, in \u003cmodule\u003e\r\n        assert collections.abc.Callable[ParamSpec, str].__args__ == (ParamSpec, str)\r\n               ~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^\r\n      File \"/Users/sobolev/Desktop/cpython2/Lib/_collections_abc.py\", line 477, in __new__\r\n        raise TypeError(f\"Expected a list of types, an ellipsis, \"\r\n    TypeError: Expected a list of types, an ellipsis, ParamSpec, or Concatenate. Got \u003cclass 'typing.ParamSpec'\u003e\r\n```\r\n\r\n\u003c!-- gh-linked-prs --\u003e\r\n### Linked PRs\r\n* gh-112195\r\n* gh-112208\n* gh-112209\n\u003c!-- /gh-linked-prs --\u003e\r\n","author":{"url":"https://github.com/sobolevn","@type":"Person","name":"sobolevn"},"datePublished":"2023-11-17T09:49:39.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/112194/cpython/issues/112194"}