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

A dyn value takes .field and [:key], queued

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-26 05:37:20 +07:00
parent 7e5ea096a5
commit 69e5e7fe4a
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
TODO.org
View File

@ -726,6 +726,11 @@ of !=.
* Checker
** NEXT A dyn value takes .field and [:key]
Decided 2026-09-26: on a dyn value, ~x.name~ / ~(.name x)~ reads ~(get x :name)~ and
assigning it is ~(put x :name v)~ — a class slot or a map key; ~m[:k]~ indexes a dyn
map as ~(get m :k)~, and assigning it puts.
** DONE A slice from a C pointer, and a pointer cast
CLOSED: [2026-09-25]
=(slice-from p n)= and =((Ptr U) p)=, both unchecked. Rules out pointer arithmetic