Files
langkit/mypy.ini
Pierre-Marie de Rodat 2580460fe5 Introduce the named environments mechanism
See the "Named environments" comments section in
pkg_implementation_spec.mako for details.

TN: T320-010
2020-09-23 10:00:39 +02:00

98 lines
2.2 KiB
INI

[mypy]
python_version=3.7
mypy_path=./stubs
files=
langkit/
no_implicit_optional = True
[mypy-langkit.ada_api]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.c_api]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.caching]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.common]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.diagnostics]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.envs]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.documentation]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.language_api]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.lkt_lowering]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.names]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.ocaml_api]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.passes]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-langkit.python_api]
disallow_untyped_defs = True
disallow_incomplete_defs = True
disallow_untyped_decorators = True
[mypy-e3.*]
ignore_missing_imports = True
[mypy-funcy.*]
ignore_missing_imports = True
[mypy-gdb.*]
ignore_missing_imports = True
[mypy-gnatdbg.*]
ignore_missing_imports = True
[mypy-IPython.*]
ignore_missing_imports = True
[mypy-lib2to3.*]
ignore_missing_imports = True
[mypy-mako.*]
ignore_missing_imports = True
[mypy-pep8.*]
ignore_missing_imports = True
[mypy-pycodestyle.*]
ignore_missing_imports = True
[mypy-pyflakes.*]
ignore_missing_imports = True
[mypy-sphinx.*]
ignore_missing_imports = True
[mypy-black.*]
ignore_missing_imports = True