diff options
| author | David Bradford <david.bradford@mongodb.com> | 2020-08-14 13:40:14 -0400 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-08-17 18:11:41 +0000 |
| commit | 4b454dbdaff785835998cd257c4410a16ca87b59 (patch) | |
| tree | 185b5463df1d6703d6493b2bf064041742422462 /.mypy.ini | |
| parent | a609c4937cce685cfea7c3926841c37b306a42c6 (diff) | |
| download | mongo-4b454dbdaff785835998cd257c4410a16ca87b59.tar.gz | |
SERVER-49945: move mypy.ini to .mypy.ini
Diffstat (limited to '.mypy.ini')
| -rw-r--r-- | .mypy.ini | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.mypy.ini b/.mypy.ini new file mode 100644 index 00000000000..a3917513153 --- /dev/null +++ b/.mypy.ini @@ -0,0 +1,18 @@ +[mypy] +python_version = 3.7 + +disallow_untyped_defs = False +# Do not error on imported files since all imported files may not be mypy clean. +follow_imports = silent +# Do not error if imports are not found. +# This can be a problem with standalone scripts and relative imports. +# This will limit effectiveness but avoids mypy complaining about running code. +ignore_missing_imports = True + +[mypy-idl.*] +# Error if any code is missing type annotations. +disallow_untyped_defs = True + +[mypy-lint.*] +# Error if any code is missing type annotations. +disallow_untyped_defs = True |