From fa92b0196cb0b73e53f65e64667d4a45b3b87354 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Sun, 21 Apr 2019 23:09:52 -0700 Subject: [PATCH] add mypy typechecker integration --- .gitignore | 1 + .gitmodules | 4 ++++ mypy.ini | 8 ++++++++ nmigen-type-annotations | 1 + 4 files changed, 14 insertions(+) create mode 100644 .gitmodules create mode 100644 mypy.ini create mode 160000 nmigen-type-annotations 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 -- 2.30.2