add mypy typechecker integration

diff --git a/.gitignore b/.gitignore
index b3354e88a167b49bb0f23fe3046b5aed6d155016..1512d74c2da575ad5de72300907c270b14da81ac 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ WaveForms
 .*.sw?
 *.py?
 *.v
+.mypy_cache

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..35089b9
--- /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 (file)
index 0000000..b569ead
--- /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 (submodule)
index 0000000..227f399
--- /dev/null
+++ b/nmigen-type-annotations
@@ -0,0 +1 @@
+Subproject commit 227f39952a4529cea7f5da76c361bf6b650adff3