JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Nested ML-style patterns are wanted

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 20:31:57 +07:00
parent e7d82cb640
commit 25911d7c9d
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
TODO.org
View File

@ -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 could always share a member spelling. What the prefix buys is the call site read
on its own. 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 ** 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 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. string literal, compared as =(= t lit)=; a match over such a type needs a =_= arm.