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

Dyn has a character type

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 21:57:37 +07:00
parent 2dec18b87f
commit cc45b8a55d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
TODO.org
View File

@ -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