Merge branch 'master' into worktree-agent-a6088ba602da36c5e
# Conflicts: # TODO.org
This commit is contained in:
commit
9e09375d7b
4
TODO.org
4
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
|
could always share a member spelling. What the prefix buys is the call site read
|
||||||
on its own.
|
on its own.
|
||||||
|
|
||||||
|
** WAIT ML-style patterns
|
||||||
|
Held 2026-09-25 as a future direction, like the JS backend: nested destructuring,
|
||||||
|
guards, or-patterns, literals at any depth, exhaustiveness over the nesting.
|
||||||
|
|
||||||
** DONE match over numbers and strings
|
** DONE match over numbers and strings
|
||||||
CLOSED: [2026-09-25]
|
CLOSED: [2026-09-25]
|
||||||
Rules out a literal the scrutinee's type cannot hold (refused, not widened as =(=)=
|
Rules out a literal the scrutinee's type cannot hold (refused, not widened as =(=)=
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user