diff options
| author | Dylan Baker <dylan@pnwbakers.com> | 2020-09-17 12:05:27 -0700 |
|---|---|---|
| committer | Dylan Baker <dylan@pnwbakers.com> | 2020-09-24 12:14:13 -0700 |
| commit | bc532a8543d72bdbed9c150c54aa6cd48b854978 (patch) | |
| tree | 0cefeab959fee2355cb9981b57f91a8f07dea77a | |
| parent | 48a181866f9cb574d13f59f8d94983a1bc2f88ed (diff) | |
| download | meson-bc532a8543d72bdbed9c150c54aa6cd48b854978.zip meson-bc532a8543d72bdbed9c150c54aa6cd48b854978.tar.gz meson-bc532a8543d72bdbed9c150c54aa6cd48b854978.tar.bz2 | |
compilers/mixins: make compcert type safe
| -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', |