works perfectly

python · wyattscarpenter · May 9, 2025 · May 9, 2025 · May 9, 2025 · May 9, 2025
commit c5c085776db8d0dde60815e1c7f7fcd0dfc613b3
diff --git a/docs/source/command_line.rst b/docs/source/command_line.rst
@@ -764,7 +764,10 @@ of the above sections.
    :option:`mypy --help` output.

    Note: the exact list of flags enabled by running :option:`--strict` may change
-    over time.
+    over time. For the current version of mypy, the list is:
+
+    .. include:: strict_list.rst
+

 .. option:: --disable-error-code


diff --git a/docs/source/html_builder.py b/docs/source/html_builder.py
@@ -2,7 +2,6 @@

 import json
 import os
-import re
 import textwrap
 from pathlib import Path
 from typing import Any
@@ -18,27 +17,18 @@ class MypyHTMLBuilder(StandaloneHTMLBuilder):
    def __init__(self, app: Sphinx, env: BuildEnvironment) -> None:
        super().__init__(app, env)
        self._ref_to_doc = {}
+        self._add_strict_list()

    def write_doc(self, docname: str, doctree: document) -> None:
        super().write_doc(docname, doctree)
        self._ref_to_doc.update({_id: docname for _id in doctree.ids})

-    def _add_strict_to_doc(self) -> None:
-        target_filename = "command_line.html"
-        p = Path(self.outdir) / target_filename
-        text = p.read_bytes()
-        lead_in = b"over time."
-        c = text.count(lead_in)
-        complaint = f"Expected '{lead_in}' in {target_filename}, so I could add the strict flags after it, but "
-        if c < 1:
-            raise ValueError(complaint+"it was not there.")
-        elif c > 1:
-            raise ValueError(complaint+"it occurred in multiple locations, so I don't know what to do.")
-        help_text = process_options(['-c', 'pass'])
-        strict_part = help_text[2].split(": ")[1]
+    def _add_strict_list(self) -> None:
+        p = Path(self.outdir).parent.parent / "source" / "strict_list.rst"
+        strict_part = ", ".join(f":option:`{s} <mypy {s}>`" for s in process_options(['-c', 'pass'])[2])
        if not strict_part or strict_part.isspace() or len(strict_part) < 20 or len(strict_part) > 2000:
-           raise ValueError(f"{strict_part=}, which doesn't look right.")
-        p.write_bytes(text.replace(lead_in, lead_in+b" The current list is: " + bytes(strict_part, encoding="ascii")))
+           raise ValueError(f"{strict_part=}, which doesn't look right (by a simple heuristic).")
+        p.write_text(strict_part)

    def _verify_error_codes(self) -> None:
        from mypy.errorcodes import error_codes
@@ -74,7 +64,6 @@ def _write_ref_redirector(self) -> None:
    def finish(self) -> None:
        super().finish()
        self._write_ref_redirector()
-        self._add_strict_to_doc()


 def setup(app: Sphinx) -> dict[str, Any]:

diff --git a/mypy/main.py b/mypy/main.py
@@ -471,11 +471,13 @@ def process_options(
    fscache: FileSystemCache | None = None,
    program: str = "mypy",
    header: str = HEADER,
-) -> tuple[list[BuildSource], Options, str]:
+) -> tuple[list[BuildSource], Options, list[str]]:
    """Parse command line arguments.

    If a FileSystemCache is passed in, and package_root options are given,
    call fscache.set_package_root() to set the cache's package root.
+
+    Returns a tuple of: a list of source file, an Options collected from flags, and the computed list of strict flags.
    """
    stdout = stdout or sys.stdout
    stderr = stderr or sys.stderr
@@ -1532,7 +1534,7 @@ def set_strict_flags() -> None:
        # exceptions of different types.
        except InvalidSourceList as e2:
            fail(str(e2), stderr, options)
-    return targets, options, strict_help
+    return targets, options, strict_flag_names


 def process_package_roots(