From 635409bfe2fe9f985e77e78e5cd1d0726f1f1010 Mon Sep 17 00:00:00 2001 From: Campbell Barton Date: Sat, 3 Feb 2024 13:11:19 +1100 Subject: [PATCH] Cleanup: correct type info in check_docs_code_layout --- tools/check_docs/check_docs_code_layout.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/check_docs/check_docs_code_layout.py b/tools/check_docs/check_docs_code_layout.py index 56a88bf2b6a..09d07c95f57 100644 --- a/tools/check_docs/check_docs_code_layout.py +++ b/tools/check_docs/check_docs_code_layout.py @@ -52,13 +52,15 @@ def html_extract_markdown_from_url(url: str) -> Optional[str]: with urllib.request.urlopen(req) as fh: data = fh.read().decode('utf-8') + # Quiet `mypy` checker warning. + assert isinstance(data, str) return data # ----------------------------------------------------------------------------- # markdown Text Parsing -def markdown_to_paths(markdown: str) -> Tuple[List[str], List[str]]: +def markdown_to_paths(markdown: str) -> List[str]: file_paths = [] markdown = markdown.replace("

", "") markdown = markdown.replace("

", "") @@ -113,7 +115,7 @@ def report_incomplete(file_paths: List[str]) -> int: basedirs = {os.path.dirname(p) for p in file_paths} for base in sorted(basedirs): base_abs = os.path.join(SOURCE_DIR, base) - if(os.path.exists(base_abs)): + if os.path.exists(base_abs): for p in os.listdir(base_abs): if not p.startswith("."): p_abs = os.path.join(base_abs, p)