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