diff --git a/TODO.org b/TODO.org index f83e2878..a9e037da 100644 --- a/TODO.org +++ b/TODO.org @@ -1639,7 +1639,8 @@ on the frame, the restart listing carrying the signature, and the daemon compili each argument against the declared type and writing the values into the frame's buffer before aiming the channel. -** TODO The type identity of a local is not qualified +** NEXT The type identity of a local is not qualified +Decided 2026-09-25: a local's type prints package-qualified in the break buffer and the inspector, as a field's and a condition's already do. Settled for conditions and for structs, because =Load= qualifies every declaration at import. Still open for locals, where the debug information gives a bare name and nothing qualifies it.