From: Jacob Lifshay Date: Mon, 22 Apr 2019 06:09:52 +0000 (-0700) Subject: add mypy typechecker integration X-Git-Tag: div_pipeline~2182 X-Git-Url: https://git.libre-soc.org/?p=soc.git;a=commitdiff_plain;h=fa92b0196cb0b73e53f65e64667d4a45b3b87354 add mypy typechecker integration --- diff --git a/.gitignore b/.gitignore index b3354e88..1512d74c 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ WaveForms .*.sw? *.py? *.v +.mypy_cache diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..35089b98 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "nmigen-type-annotations"] + path = nmigen-type-annotations + url = https://salsa.debian.org/Kazan-team/nmigen-type-annotations.git + branch = master diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 00000000..b569ead4 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,8 @@ +# SPDX-License-Identifier: LGPL-2.1-or-later +# See Notices.txt for copyright information +[mypy] +python_version = 3.6 +mypy_path = ./nmigen-type-annotations +warn_return_any = True +warn_unused_configs = True +disallow_untyped_defs = True diff --git a/nmigen-type-annotations b/nmigen-type-annotations new file mode 160000 index 00000000..227f3995 --- /dev/null +++ b/nmigen-type-annotations @@ -0,0 +1 @@ +Subproject commit 227f39952a4529cea7f5da76c361bf6b650adff3