diff --git a/TODO.org b/TODO.org index fd5e4738..a6b687a6 100644 --- a/TODO.org +++ b/TODO.org @@ -223,7 +223,8 @@ arrives at the push. A =Vec= a call returned is accepted where an array a call returned is refused: one dangles and one only leaks, and leaking is defined behaviour here. -** TODO (clone slice) as the general spelling of what (bytes s) does +** NEXT (clone slice) as the general spelling of what (bytes s) does +Decided 2026-09-25: =(clone xs)= copies any slice into the context allocator, sharing =flan_bytes_dup='s lowering with =bytes=. The allocator's region answers who frees it. Not built because of the who-frees question =bytes= answers by leaning on free-all and arena-destroy. =flan_bytes_dup= is already the lowering, so if slices grow a =clone= the two should share it.