Merge master into the dyn char lane
This commit is contained in:
commit
8a698076eb
9
TODO.org
9
TODO.org
@ -10,6 +10,15 @@ 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.
|
||||
=get(xs, i, …)= on an array, slice or Vec gives =Option(T)= instead of trapping on an
|
||||
index out of range (negative included), one index per dimension. Both typed and dyn.
|
||||
|
||||
** NEXT str and String
|
||||
Decided 2026-09-25: the typed read-only text is =str= (the rename from =string= is
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user