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