diff options
author | danieleades <33452915+danieleades@users.noreply.github.com> | 2022-07-18 22:08:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-18 22:08:16 +0100 |
commit | a504ac6100a577cbda1bedf80d69636603ee287c (patch) | |
tree | 0aa79585440486bdb109f7238f8f5c992dad0d99 /sphinx/ext/coverage.py | |
parent | a340427ba4d208193d539cb7e8401be23d75547e (diff) | |
download | sphinx-git-a504ac6100a577cbda1bedf80d69636603ee287c.tar.gz |
Improve static typing strictness (#10569)
Diffstat (limited to 'sphinx/ext/coverage.py')
-rw-r--r-- | sphinx/ext/coverage.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sphinx/ext/coverage.py b/sphinx/ext/coverage.py index 1be815861..79e460435 100644 --- a/sphinx/ext/coverage.py +++ b/sphinx/ext/coverage.py @@ -24,12 +24,12 @@ logger = logging.getLogger(__name__) # utility -def write_header(f: IO, text: str, char: str = '-') -> None: +def write_header(f: IO[str], text: str, char: str = '-') -> None: f.write(text + '\n') f.write(char * len(text) + '\n') -def compile_regex_list(name: str, exps: str) -> List[Pattern]: +def compile_regex_list(name: str, exps: str) -> List[Pattern[str]]: lst = [] for exp in exps: try: @@ -53,14 +53,14 @@ class CoverageBuilder(Builder): pattern = path.join(self.srcdir, pattern) self.c_sourcefiles.extend(glob.glob(pattern)) - self.c_regexes: List[Tuple[str, Pattern]] = [] + self.c_regexes: List[Tuple[str, Pattern[str]]] = [] for (name, exp) in self.config.coverage_c_regexes.items(): try: self.c_regexes.append((name, re.compile(exp))) except Exception: logger.warning(__('invalid regex %r in coverage_c_regexes'), exp) - self.c_ignorexps: Dict[str, List[Pattern]] = {} + self.c_ignorexps: Dict[str, List[Pattern[str]]] = {} for (name, exps) in self.config.coverage_ignore_c_items.items(): self.c_ignorexps[name] = compile_regex_list('coverage_ignore_c_items', exps) |