Merge pull request #34 from bbc2/pyrefly

bbc2 · web-flow · commit b563f62d6cfd · 2025-10-04T01:32:22.000+02:00
Use pyrefly for type checking
diff --git a/Makefile b/Makefile
@@ -11,8 +11,7 @@ check-tests:
 
 .PHONY: check-lint
 check-lint:
-	mypy --python-version 3.13 ${SRC}
-	mypy --python-version 3.9 ${SRC}
+	pyrefly check ${SRC}
 	ruff check --ignore I ${SRC}
 
 .PHONY: check
diff --git a/pyproject.toml b/pyproject.toml
@@ -23,7 +23,7 @@ dependencies = [
 
 [dependency-groups]
 dev = [
-  "mypy>=1.15.0",
+  "pyrefly>=0.16.2",
   "pytest>=8.3.4",
   "pytest-benchmark>=5.1.0",
   "pytest-cov>=6.0.0",
diff --git a/setup.cfg b/setup.cfg
@@ -4,6 +4,3 @@ max-line-length = 100
 
 [metadata]
 description_file = README.md
-
-[mypy]
-check_untyped_defs = true
diff --git a/uv.lock b/uv.lock
