diff options
| author | Thaddeus Crews <repiteo@outlook.com> | 2023-11-21 15:33:14 -0600 |
|---|---|---|
| committer | Thaddeus Crews <repiteo@outlook.com> | 2023-12-11 15:59:06 -0600 |
| commit | 8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed (patch) | |
| tree | fcd7b6988225b60f18d4a6b7f6151bb10c935cf0 | |
| parent | 6882e5042d1ebada62f07130a44a85b032944c31 (diff) | |
| download | redot-engine-8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed.tar.gz | |
SCons: Update mypy
| -rw-r--r-- | .gitignore | 3 | ||||
| -rw-r--r-- | gles3_builders.py | 2 | ||||
| -rw-r--r-- | glsl_builders.py | 4 | ||||
| -rw-r--r-- | misc/scripts/mypy.ini | 3 |
4 files changed, 8 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore index 61ea171b8b..3c6f279a9c 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 10d7e5bb4c..055451f298 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 706b50636e..a6ca9aa2f3 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 b3323eacda..45f048f118 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 |