From 25911d7c9d70703ed9633cdb1fb1da0dcec0fab2 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 20:31:57 +0700 Subject: [PATCH] Nested ML-style patterns are wanted --- TODO.org | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/TODO.org b/TODO.org index 262eec92..cee24e7a 100644 --- a/TODO.org +++ b/TODO.org @@ -296,6 +296,10 @@ keyword resolves against the expected type and against nothing else, so two enum could always share a member spelling. What the prefix buys is the call site read on its own. +** TODO ML-style patterns +Wanted: nested destructuring (data cases, structs, arrays, slices), guards, or-patterns, +literals at any depth, and exhaustiveness checked over the nesting. Needs a design pass. + ** NEXT match over numbers and strings Decided 2026-09-25: a match arm's pattern can be an integer, a float, a char or a string literal, compared as =(= t lit)=; a match over such a type needs a =_= arm.