From cc45b8a55dfe1bb7b9f613bf32f8bb1815d4ef3f Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 21:57:37 +0700 Subject: [PATCH] Dyn has a character type --- TODO.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/TODO.org b/TODO.org index 551e2291..d52601b5 100644 --- a/TODO.org +++ b/TODO.org @@ -15,7 +15,8 @@ rejected without a record is an idea that gets re-proposed. Decided 2026-09-25: the typed read-only text is =str= (renamed from =string=); =String= is new, owned, growable, always valid UTF-8, through an allocator. The prelude's text builders return =String=; =(Vec u8)= stays for raw bytes. Text is UTF-8 everywhere and -a character is a code point. Waits on the dyn-unless-annotated design. +a character is a code point; dyn gets a character tag, so \\I prints as \\I. +Waits on the dyn-unless-annotated design. ** NEXT Dyn unless annotated Decided 2026-09-25: in both syntaxes an unannotated value is dyn — [6 2 4 9] is a dyn