Skip to content

Add pyrefly non-exhaustive match as error#2846

Merged
adamtheturtle merged 2 commits intomainfrom
chore/pyrefly-non-exhaustive-match-20260215
Feb 15, 2026
Merged

Add pyrefly non-exhaustive match as error#2846
adamtheturtle merged 2 commits intomainfrom
chore/pyrefly-non-exhaustive-match-20260215

Conversation

@adamtheturtle
Copy link
Member

@adamtheturtle adamtheturtle commented Feb 15, 2026

Adds \ to \ in project \ files.


Note

Low Risk
Config-only change that tightens static analysis; may cause CI failures until code is updated to satisfy the stricter rule.

Overview
Adds a pyrefly configuration block to pyproject.toml that upgrades non-exhaustive-match findings to errors, making incomplete match handling fail the type-check/lint step.

Written by Cursor Bugbot for commit 26b9256. This will update automatically on new commits. Configure here.

@adamtheturtle adamtheturtle merged commit f39f067 into main Feb 15, 2026
15 checks passed
@adamtheturtle adamtheturtle deleted the chore/pyrefly-non-exhaustive-match-20260215 branch February 15, 2026 12:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments