commit 90533d227b2bad3d44051fd709854651082266da
parent 5e83d290b828178f360e53a1349f46bae09db625
Author: Jared Tobin <jared@jtobin.io>
Date: Sun, 25 Jan 2026 10:55:30 +0400
meta: add guidance on non-exhaustive pattern matches
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
Diffstat:
2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/AGENTS.md b/AGENTS.md
@@ -68,6 +68,8 @@ Use only minimal external dependencies. Prefer GHC's core/boot libraries
- Never use partial Prelude functions (head, tail, !!, etc.)
- Avoid brittle partials in tests too (e.g., unchecked indexing). Prefer
bounds checks or total helpers even in test code.
+- Avoid non-exhaustive pattern matches and unsafe behavior; use total
+ helpers and make all constructors explicit.
- Use Maybe/Either for fallible operations
- Validate all inputs at system boundaries
diff --git a/CLAUDE.md b/CLAUDE.md
@@ -68,6 +68,8 @@ Use only minimal external dependencies. Prefer GHC's core/boot libraries
- Never use partial Prelude functions (head, tail, !!, etc.)
- Avoid brittle partials in tests too (e.g., unchecked indexing). Prefer
bounds checks or total helpers even in test code.
+- Avoid non-exhaustive pattern matches and unsafe behavior; use total
+ helpers and make all constructors explicit.
- Use Maybe/Either for fallible operations
- Validate all inputs at system boundaries
