From 41508a016c3b115b387d20d7c058d74ea120da3e Mon Sep 17 00:00:00 2001 From: Dan Guido Date: Sun, 25 Jan 2026 01:11:37 -0500 Subject: [PATCH] chore: replace mypy with ty in Makefile lint targets Update lint-component target to use ty (Astral type checker) instead of mypy: - Run ty check for all components uniformly - Add fuzzer_runner to available components list - Simplify type checking logic Co-Authored-By: Claude Opus 4.5 --- Makefile | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 4f8d369f..fbbd49e6 100644 --- a/Makefile +++ b/Makefile @@ -157,18 +157,16 @@ lint: make --no-print-directory lint-component COMPONENT=$$component; \ done -# Note: common, patcher, orchestrator, program-model, seed-gen run mypy +# Note: all components run ty type checking lint-component: @if [ -z "$(COMPONENT)" ]; then \ echo "Error: COMPONENT not specified. Usage: make lint-component COMPONENT="; \ - echo "Available components: common, fuzzer, orchestrator, patcher, program-model, seed-gen"; \ + echo "Available components: common, fuzzer, fuzzer_runner, orchestrator, patcher, program-model, seed-gen"; \ exit 1; \ fi @echo "Linting $(COMPONENT)..." @cd $(COMPONENT) && uv sync -q --all-extras && uv run ruff format --check && uv run ruff check - @if [ "$(COMPONENT)" = "common" ] || [ "$(COMPONENT)" = "patcher" ] || [ "$(COMPONENT)" = "orchestrator" ] || [ "$(COMPONENT)" = "program-model" ] || [ "$(COMPONENT)" = "seed-gen" ] || [ "$(COMPONENT)" = "fuzzer" ]; then \ - cd $(COMPONENT) && uv run mypy; \ - fi + @cd $(COMPONENT) && uv run ty check src/ reformat: @echo "Reformatting all Python code..."