diff options
| author | Jiri Suchan <yed@vanyli.net> | 2022-08-23 22:21:46 +0900 |
|---|---|---|
| committer | Jiri Suchan <yed@vanyli.net> | 2022-09-30 19:03:17 +0700 |
| commit | c5bd2f9dce17f3e6bf7d9681243e2743633db6f0 (patch) | |
| tree | 5cc835252cc999d086deaf05f3821ef3ce9e37e8 /core | |
| parent | f47979f0874b2ca6134e71575fbb359c6cc5ced0 (diff) | |
ci: add Python static analysis check via mypy
Diffstat (limited to 'core')
| -rw-r--r-- | core/core_builders.py | 6 | ||||
| -rw-r--r-- | core/input/input_builders.py | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/core/core_builders.py b/core/core_builders.py index b07daa80ae..b0a3b85d58 100644 --- a/core/core_builders.py +++ b/core/core_builders.py @@ -2,6 +2,7 @@ All such functions are invoked in a subprocess on Windows to prevent build flakiness. """ +import zlib from platform_methods import subprocess_main @@ -33,7 +34,6 @@ def make_certs_header(target, source, env): g = open(dst, "w", encoding="utf-8") buf = f.read() decomp_size = len(buf) - import zlib # Use maximum zlib compression level to further reduce file size # (at the cost of initial build times). @@ -208,7 +208,7 @@ def make_license_header(target, source, env): from collections import OrderedDict - projects = OrderedDict() + projects: dict = OrderedDict() license_list = [] with open(src_copyright, "r", encoding="utf-8") as copyright_file: @@ -230,7 +230,7 @@ def make_license_header(target, source, env): part = {} reader.next_line() - data_list = [] + data_list: list = [] for project in iter(projects.values()): for part in project: part["file_index"] = len(data_list) diff --git a/core/input/input_builders.py b/core/input/input_builders.py index 16f125ff38..a7729c9af2 100644 --- a/core/input/input_builders.py +++ b/core/input/input_builders.py @@ -16,7 +16,7 @@ def make_default_controller_mappings(target, source, env): g.write('#include "core/input/default_controller_mappings.h"\n') # ensure mappings have a consistent order - platform_mappings = OrderedDict() + platform_mappings: dict = OrderedDict() for src_path in source: with open(src_path, "r") as f: # read mapping file and skip header |