diff options
-rw-r--r-- | mesonbuild/compilers/mixins/compcert.py | 8 | ||||
-rwxr-xr-x | run_mypy.py | 1 |
2 files changed, 7 insertions, 2 deletions
diff --git a/mesonbuild/compilers/mixins/compcert.py b/mesonbuild/compilers/mixins/compcert.py index ebcccf5..fd144be 100644 --- a/mesonbuild/compilers/mixins/compcert.py +++ b/mesonbuild/compilers/mixins/compcert.py @@ -52,6 +52,10 @@ ccomp_args_to_wul = [ ] # type: T.List[str] class CompCertCompiler: + + if T.TYPE_CHECKING: + can_compile_suffixes = set() # type: T.Set[str] + def __init__(self) -> None: self.id = 'ccomp' # Assembly @@ -78,9 +82,9 @@ class CompCertCompiler: def get_pch_use_args(self, pch_dir: str, header: str) -> T.List[str]: return [] - def unix_args_to_native(self, args): + def unix_args_to_native(self, args: T.List[str]) -> T.List[str]: "Always returns a copy that can be independently mutated" - patched_args = [] + patched_args = [] # type: T.List[str] for arg in args: added = 0 for ptrn in ccomp_args_to_wul: diff --git a/run_mypy.py b/run_mypy.py index 92570bc..0ea8efc 100755 --- a/run_mypy.py +++ b/run_mypy.py @@ -20,6 +20,7 @@ modules = [ 'mesonbuild/compilers/mixins/ccrx.py', 'mesonbuild/compilers/mixins/clang.py', 'mesonbuild/compilers/mixins/clike.py', + 'mesonbuild/compilers/mixins/compcert.py', 'mesonbuild/compilers/mixins/gnu.py', # 'mesonbuild/compilers/mixins/intel.py', # 'mesonbuild/coredata.py', |