Switch to mypy for type checking

Signed-off-by: Martin Prpič <martin.prpic@gmail.com>

Author: mprpic

pyproject.toml

@@ -47,7 +47,7 @@ test = [
     "pytest>=8.0.0",
     "pytest-cov>=4.0.0",
     "ruff>=0.8.0",
-    "ty>=0.0.1a11",
+    "mypy>=1.0.0",
     "tox>=4.0.0",
 ]
 docs = [
@@ -56,4 +56,8 @@ docs = [
 dev = [
     { include-group = "test" },
     { include-group = "docs" }
-]
+]
+
+[tool.mypy]
+allow_redefinition = true
+warn_unused_ignores = true

src/mdlint/linter.py

@@ -261,13 +261,13 @@ def fix_file(self, path: Path, content: str | None = None) -> FileResult:
                 if not rule.fixable:
                     continue
 
-                violations = rule.check(document, config)
-                cached_violations[rule.id] = violations
-                if not violations:
+                rule_violations = rule.check(document, config)
+                cached_violations[rule.id] = rule_violations
+                if not rule_violations:
                     continue
 
                 # Skip fix if all violations for this rule are suppressed
-                non_suppressed = filter_suppressed(document, violations)
+                non_suppressed = filter_suppressed(document, rule_violations)
                 if not non_suppressed:
                     continue
 

src/mdlint/rules/md060.py

@@ -184,7 +184,7 @@ def _check_table(
         if style_tight_allowed:
             candidates.append(errors_tight)
 
-        return min(candidates, key=len) if candidates else []  # type: ignore[return-value]
+        return min(candidates, key=len) if candidates else []
 
     def _check_aligned_style(
         self,

tox.ini

@@ -35,5 +35,5 @@ commands = ruff format .
 
 [testenv:typecheck]
 description = Run type checker
-deps = ty
-commands = ty check src/
+deps = mypy
+commands = mypy src/