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

A slice from a C pointer and a pointer cast are queued

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 22:00:13 +07:00
parent cc45b8a55d
commit cecbec6c71
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
TODO.org
View File

@ -669,6 +669,13 @@ of !=.
* Checker * Checker
** NEXT A slice from a C pointer, and a pointer cast
Decided 2026-09-25: =(slice-from p n)= makes a slice from a pointer and a count, and a
cast changes a pointer's element type; both unchecked. No pointer arithmetic.
** CANCELLED A pointer crossing into dyn
Not needed: dyn code has no use for an address it cannot read through.
** WAIT A _ body that returns an fn literal ** WAIT A _ body that returns an fn literal
Refused today; allowing it when the literal writes its parameter types is the Refused today; allowing it when the literal writes its parameter types is the
proposal. Postponed 2026-09-25 while .fln takes priority. proposal. Postponed 2026-09-25 while .fln takes priority.