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

A local's type is to print qualified by its package

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 10:23:18 +07:00
parent 0e7a9ab98f
commit e16b5cbced
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
TODO.org
View File

@ -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.