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

Any typed container crosses into dyn as a view

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 22:02:04 +07:00
parent c3d36b5108
commit 85283c2e87
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

@ -18,6 +18,11 @@ builders return =String=; =(Vec u8)= stays for raw bytes. Text is UTF-8 everywhe
a character is a code point; dyn gets a character tag, so \\I prints as \\I.
Waits on the dyn-unless-annotated design.
** NEXT Any typed container crosses into dyn as a view
Decided 2026-09-25: every element type (all numbers, chars, structs, nested arrays)
and any storage; a dev build checks a view against its frame or allocation and traps
when stale, a release build does not. 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
vector, 1 a dyn integer — and a typed value needs an annotation. Rules and migration