Actually, I am talking about both. It is not stated anywhere in PEPs or Python documentation that it is OK to put docstrings in .pyi files.
So we have 2 problems: * Developers (of general purpose software) don't know should they put docstrings in .pyi files * Some other developers of docstring tools (like pydoc or help()) don't know if they should consider docstrings in .pyi files I think right now it is possible for any software dealing with docstrings to find those in corresponding .pyi files given .pyi matches corresponding .py. _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/6NGRCJOXAFTOZF4FMX5425ZS62GY4A6I/ Code of Conduct: http://python.org/psf/codeofconduct/