diff --git a/.gitignore b/.gitignore index 61ea171b8b86..3c6f279a9c43 100644 --- a/.gitignore +++ b/.gitignore @@ -153,6 +153,9 @@ gmon.out # Kdevelop *.kdev4 +# Mypy +.mypy_cache + # Qt Creator *.config *.creator diff --git a/gles3_builders.py b/gles3_builders.py index 10d7e5bb4c74..055451f298a6 100644 --- a/gles3_builders.py +++ b/gles3_builders.py @@ -199,7 +199,7 @@ def build_gles3_header( filename: str, include: str, class_suffix: str, - optional_output_filename: str = None, + optional_output_filename: Optional[str] = None, header_data: Optional[GLES3HeaderStruct] = None, ): header_data = header_data or GLES3HeaderStruct() diff --git a/glsl_builders.py b/glsl_builders.py index 706b50636e55..a6ca9aa2f3b6 100644 --- a/glsl_builders.py +++ b/glsl_builders.py @@ -114,7 +114,7 @@ def include_file_in_rd_header(filename: str, header_data: RDHeaderStruct, depth: def build_rd_header( - filename: str, optional_output_filename: str = None, header_data: Optional[RDHeaderStruct] = None + filename: str, optional_output_filename: Optional[str] = None, header_data: Optional[RDHeaderStruct] = None ) -> None: header_data = header_data or RDHeaderStruct() include_file_in_rd_header(filename, header_data, 0) @@ -198,7 +198,7 @@ def include_file_in_raw_header(filename: str, header_data: RAWHeaderStruct, dept def build_raw_header( - filename: str, optional_output_filename: str = None, header_data: Optional[RAWHeaderStruct] = None + filename: str, optional_output_filename: Optional[str] = None, header_data: Optional[RAWHeaderStruct] = None ): header_data = header_data or RAWHeaderStruct() include_file_in_raw_header(filename, header_data, 0) diff --git a/misc/scripts/mypy.ini b/misc/scripts/mypy.ini index b3323eacda5d..45f048f11847 100644 --- a/misc/scripts/mypy.ini +++ b/misc/scripts/mypy.ini @@ -1,6 +1,7 @@ [mypy] -ignore_missing_imports = true +ignore_missing_imports = True disallow_any_generics = True +no_implicit_optional = True pretty = True show_column_numbers = True warn_redundant_casts = True