add mypy typechecker integration

[soc.git] / mypy.ini

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