[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