diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 0000000..206ab24 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,9 @@ +[mypy] +check_untyped_defs = True +disallow_any_generics = True + +incremental = True +scripts_are_modules = True +show_traceback = True + +warn_no_return = True diff --git a/tools/run-mypy b/tools/run-mypy index 3f3eebf..2e01952 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -149,11 +149,7 @@ for file_path in python_files: mypy_command = "mypy" -extra_args = ["--check-untyped-defs", - "--follow-imports=silent", - "--scripts-are-modules", - "--disallow-any-generics", - "-i"] +extra_args = ["--follow-imports=silent"] if args.disallow_untyped_defs: extra_args.append("--disallow-untyped-defs") if args.warn_unused_ignores: