Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-10-24 08:14:11 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-10-24 08:14:11 +0300
commitccc77b8305a6347f61398c35ee743561a893cbf4 (patch)
tree5bf6e39c514b13d2a0e246cdf03ae058b5818838 /sphinx/search
parent3b1c48f3b64f55e023192850f8b3da0a188fd9d7 (diff)
Fix mypy violations (with mypy-0.790)
Diffstat (limited to 'sphinx/search')
-rw-r--r--sphinx/search/__init__.py10
1 files changed, 5 insertions, 5 deletions
diff --git a/sphinx/search/__init__.py b/sphinx/search/__init__.py
index 4534dd333..048b333d5 100644
--- a/sphinx/search/__init__.py
+++ b/sphinx/search/__init__.py
@@ -297,8 +297,8 @@ class IndexBuilder:
frozen.get('envversion') != self.env.version:
raise ValueError('old format')
index2fn = frozen['docnames']
- self._filenames = dict(zip(index2fn, frozen['filenames'])) # type: ignore
- self._titles = dict(zip(index2fn, frozen['titles'])) # type: ignore
+ self._filenames = dict(zip(index2fn, frozen['filenames']))
+ self._titles = dict(zip(index2fn, frozen['titles']))
def load_terms(mapping: Dict[str, Any]) -> Dict[str, Set[str]]:
rv = {}
@@ -359,13 +359,13 @@ class IndexBuilder:
def get_terms(self, fn2index: Dict) -> Tuple[Dict[str, List[str]], Dict[str, List[str]]]:
rvs = {}, {} # type: Tuple[Dict[str, List[str]], Dict[str, List[str]]]
for rv, mapping in zip(rvs, (self._mapping, self._title_mapping)):
- for k, v in mapping.items(): # type: ignore
+ for k, v in mapping.items():
if len(v) == 1:
fn, = v
if fn in fn2index:
- rv[k] = fn2index[fn] # type: ignore
+ rv[k] = fn2index[fn]
else:
- rv[k] = sorted([fn2index[fn] for fn in v if fn in fn2index]) # type: ignore # NOQA
+ rv[k] = sorted([fn2index[fn] for fn in v if fn in fn2index])
return rvs
def freeze(self) -> Dict[str, Any]: