mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
109fd493c7
Replace the messy collection of arguments for CompileCtx.__init__ and CompileCtx.create_all_passes with better organized dataclasses in the new langkit.config module. Update the codebase to use these data structures.
170 lines
4.3 KiB
INI
170 lines
4.3 KiB
INI
[mypy]
|
|
python_version=3.11
|
|
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.config]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.coverage]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.debug_info]
|
|
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.documentation]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.emitter]
|
|
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.expressions.collections]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.gdb.*]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.generic_api]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.java_api]
|
|
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.lexer.*]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.libmanage]
|
|
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.packaging]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.parsers]
|
|
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-langkit.scripts.*]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.stylechecks.*]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.template_utils]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.unparsers]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.utils.*]
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
[mypy-langkit.windows]
|
|
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-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
|
|
|
|
[mypy-railroad.*]
|
|
ignore_missing_imports = True
|
|
|
|
[mypy-typeguard.*]
|
|
ignore_missing_imports = True
|