pyproject: remove mypy ignores

Author: alexfikl

.github/workflows/ci.yml

@@ -50,10 +50,11 @@ jobs:
         -   uses: actions/checkout@v4
         -   name: "Main Script"
             run: |
+                EXTRA_INSTALL="mypy pytest types-colorama types-Pygments"
                 curl -L -O https://tiker.net/ci-support-v0
                 . ./ci-support-v0
+
                 build_py_project_in_conda_env
-                python -m pip install mypy
                 ./run-mypy.sh
 
     pytest:

.gitlab-ci.yml

@@ -158,11 +158,10 @@ Ruff:
 
 Mypy:
   script: |
-    EXTRA_INSTALL="pybind11 numpy"
+    EXTRA_INSTALL="mypy pybind11 numpy types-colorama types-Pygments"
     curl -L -O https://tiker.net/ci-support-v0
     . ./ci-support-v0
     build_py_project_in_venv
-    python -m pip install mypy
     ./run-mypy.sh
   tags:
   - python3

loopy/options.py

@@ -227,7 +227,7 @@ def __init__(
         kwargs = _apply_legacy_map(self._legacy_options_map, kwargs)
 
         try:
-            import colorama  # noqa
+            import colorama  # noqa: F401
         except ImportError:
             allow_terminal_colors_def = False
         else:

pyproject.toml

@@ -168,17 +168,12 @@ module = [
 
 [[tool.mypy.overrides]]
 module = [
+    "IPython.*",
+    "fparser.*",
     "islpy.*",
-    "pymbolic.*",
-    "genpy.*",
-    "pyopencl.*",
-    "colorama.*",
-    "codepy.*",
     "mako.*",
-    "fparser.*",
     "ply.*",
-    "pygments.*",
-    "IPython.*",
+    "pyopencl.*",
 ]
 ignore_missing_imports = true