From 68fddf90a14323e007ff46128ef45c6e04059513 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Sat, 26 Sep 2026 11:21:25 +0700 Subject: [PATCH] if let is queued, with Rust's spelling. --- TODO.org | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/TODO.org b/TODO.org index b24c8d16..7337598d 100644 --- a/TODO.org +++ b/TODO.org @@ -10,6 +10,10 @@ pointing at it. A CANCELLED entry carries the one-line reason, because an idea rejected without a record is an idea that gets re-proposed. * Language surface +** NEXT if let +Decided 2026-09-26 (126), Rust's spelling: =if let Some(g) = left= plus a block tests +the pattern and binds =g= in that block only; =elif=/=else= follow as for =if=. Any +=match= pattern may stand where =Some(g)= is. Reads to a two-arm =match=. ** NEXT when as a value, and get as a checked lookup Decided 2026-09-26 (125): a =when= whose value is used gives =Option(T)=, =Some= of its body when the test holds and =None= otherwise; as a statement it is unchanged.