mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
See the "Named environments" comments section in pkg_implementation_spec.mako for details. TN: T320-010
98 lines
2.2 KiB
INI
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
|