PEP 561 (mypy annotations)

20 views
Skip to first unread message

spike

unread,
Sep 9, 2022, 9:04:37 PM9/9/22
to leo-e...@googlegroups.com
In mypy's documentation they suggest including an empty "py.typed" file
in the package directory to identify it as a typed package.

Leo supports out-of-tree plugins this would allow them to use mypy for
type checking.

https://mypy.readthedocs.io/en/stable/installed_packages.html

Edward K. Ream

unread,
Sep 10, 2022, 6:43:19 AM9/10/22
to leo-editor
On Fri, Sep 9, 2022 at 8:04 PM spike <spiketheh...@runbox.com> wrote:
In mypy's documentation they suggest including an empty "py.typed" file
in the package directory to identify it as a typed package.

Leo supports out-of-tree plugins this would allow them to use mypy for
type checking.

Good idea. Please open an issue.

Edward

spike

unread,
Sep 10, 2022, 3:14:52 PM9/10/22
to leo-e...@googlegroups.com
PR #2833 is ready for review.
Reply all
Reply to author
Forward
0 new messages