From 69e5e7fe4a1beb41f774092f183193795a0f6eef Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Sat, 26 Sep 2026 05:37:20 +0700
Subject: [PATCH] A dyn value takes .field and [:key], queued

---
 TODO.org | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/TODO.org b/TODO.org
index af52b515..cc934a8c 100644
--- a/TODO.org
+++ b/TODO.org
@@ -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