tools: Migrate core run-mypy options to mypy.ini.
Add traceback option, as used in core Zulip run-mypy.
This commit is contained in:
parent
dad7eddcc6
commit
6cbe1f5ba7
9
mypy.ini
Normal file
9
mypy.ini
Normal file
|
@ -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
|
|
@ -149,11 +149,7 @@ for file_path in python_files:
|
||||||
|
|
||||||
mypy_command = "mypy"
|
mypy_command = "mypy"
|
||||||
|
|
||||||
extra_args = ["--check-untyped-defs",
|
extra_args = ["--follow-imports=silent"]
|
||||||
"--follow-imports=silent",
|
|
||||||
"--scripts-are-modules",
|
|
||||||
"--disallow-any-generics",
|
|
||||||
"-i"]
|
|
||||||
if args.disallow_untyped_defs:
|
if args.disallow_untyped_defs:
|
||||||
extra_args.append("--disallow-untyped-defs")
|
extra_args.append("--disallow-untyped-defs")
|
||||||
if args.warn_unused_ignores:
|
if args.warn_unused_ignores:
|
||||||
|
|
Loading…
Reference in a new issue