From e16b5cbceda867010b3f62354f4a3639d42052dd Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 10:23:18 +0700 Subject: [PATCH] A local's type is to print qualified by its package --- TODO.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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.