2023-08-18 15:42:45 +02:00
|
|
|
[mypy]
|
|
|
|
|
files = Tools/cases_generator/
|
|
|
|
|
pretty = True
|
|
|
|
|
|
2023-08-21 01:40:41 +02:00
|
|
|
# Make sure Python can still be built
|
|
|
|
|
# using Python 3.10 for `PYTHON_FOR_REGEN`...
|
2023-08-18 15:42:45 +02:00
|
|
|
python_version = 3.10
|
|
|
|
|
|
2023-08-21 01:40:41 +02:00
|
|
|
# ...And be strict:
|
2023-08-18 15:42:45 +02:00
|
|
|
strict = True
|
|
|
|
|
strict_concatenate = True
|
2023-08-25 19:08:29 +02:00
|
|
|
enable_error_code = ignore-without-code,redundant-expr,truthy-bool,possibly-undefined
|
2023-08-21 01:40:41 +02:00
|
|
|
warn_unreachable = True
|
2023-12-07 13:49:40 +01:00
|
|
|
allow_redefinition = True
|
|
|
|
|
implicit_reexport = True
|
