From d5740316090bd2c023b4d512e67597c74f6bda67 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 21:23:50 +0700 Subject: [PATCH] Keyword arms over a dyn and = on bool are queued --- TODO.org | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/TODO.org b/TODO.org index 0269ce97..dc07b62f 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. +** NEXT Keyword arms over a dyn, and = on bool +Decided 2026-09-25: a match over a dyn takes keyword arms, meaning (= d :k); = and != +compare bools, and a match over a bool takes true/false arms, exhaustive without _. + ** 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.