From 56fdfabc8441abff60f34abb0b945108b485d732 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 11:08:28 +0700 Subject: [PATCH] A destroyed arena is to trap always, and a mixed array literal is to be a dyn vector --- TODO.org | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/TODO.org b/TODO.org index 95258123..e8aea786 100644 --- a/TODO.org +++ b/TODO.org @@ -1511,6 +1511,18 @@ Deleted, in a sweep for dead code across the repository in which each removal was first shown unused. flan_dyn.c is the one implementation of the flan_dyn.h ABI; a stand-in beside it is not to come back. +** NEXT A destroyed arena always traps, even after its record is reused +Decided 2026-09-25: an Allocator value is two words, the record and the +incarnation it was made for; every use compares the incarnation, so a destroyed +arena traps whether or not a later arena-new reused its record. Rules out +static tracking of destroy, which is move semantics. + +** NEXT A mixed array literal with no want is a dyn vector +Decided 2026-09-25: with nothing expected of it, an array literal whose elements +agree (numbers widening together) is typed; one whose elements mix — [10 "Hi"], +[nil 1] — is a dyn vector. (the [T] ...) forces a typed one, and a want from +context still wins. Replaces the first-element carry-over. + * Dev loop ** DONE The dev loop, step 1: the reload primitive