Session save — 2026-09-23 (m2compiler-V3, step 8.2)

Where we are

HEAD bcf5d8a. Tags v3-step8.1, v3-step8.2 (+ v3-step8-summary). Suite 104/104, build warning-free, tree clean, no remote (git.txt untracked). SymTab compiles clean under V3; QbeGen is close (two gaps below).

What this session did

8.1 — Redux sweep + lenient imports. Compiler sources swept (&→AND, ~→NOT, <>→#, octal NNC→CHR(n)); V3 accepts FROM SYSTEM IMPORT TSIZE (built-ins win). docs/summary_step8.1.md.
Blaise map refreshed against their 11-phase plan; V3 = phases 1–2 done, phase 5 (self-hosting) in progress, phase 6 partial. docs/blaise-phases-map.md.
8.2 — self-compile gaps fixed. docs/summary_step8.2.md:
1. Named-CONST constant folding (SetSymVal/GetSymVal, QbeGen.Fold2; new test t_constfold).
2. Forward type refs in a TYPE block (ForwardType + Begin/EndTypeBlock; reuses the opaque-alias SetTarget path).
3. Trailing ; before a record END.
4. Qualified type names (Module.Type via QualType).
5. Capacities: MaxTypes 256→4096, MaxPend 64→256, MaxMods 32→64 (256 descriptors was the biggest false wall).
6. Compact zero-filled array data { l n, z bytes } in ArrData (per-element emission of the 1 MB sessBuf/nestBufs was the apparent hang).
7. Resolve moved before PushClassScope (ISO declaration order).

Measured state of self-compilation

SymTab.def + SymTab.mod: clean (verified with a stub program; no .ssa expected — no module body).
QbeGen.def + QbeGen.mod: 124 errors, down from 465: 85 invalid call, 38 undeclared, 1 invalid Statement.

Remaining gaps (precisely identified)

Within-module forward procedure calls. 10 callees defined later in QbeGen.mod: Revive, LocAdd, ResClass, HApp, LocFindUp, UpAddrOf, AllocLocal, FlushStrings, HeapSize, ArrData. gm2 hoists; ISO needs declaration-before-use. Choice: (a) add FORWARD decls / reorder the source, or (b) make V3 resolve later-declared module procedures.
Single-char string literals. "0"/"$"/"-" are typed CHAR, so passing them to ARRAY OF CHAR formals (Cpy(d, "0")) reports "invalid call". Needs a CHAR ↔ length-1 string coercion model.

Then: cross-stage FileIO selection and bootstrap/fixpoint.sh (Stage1 gm2 → Stage2 V3 → Stage3 V3, byte-identical .ssa, suite green on all stages; rolling-bootstrap design per the Blaise map).

Resume commands

cd /home/eric/Projets/Projets-Modula2/MyWork/m2compiler-V3/compiler
./build.sh && ./run_tests.sh          # expect 104/104, no gm2 warnings
# gap check:
./M2 ../stdlib/storage.def ../stdlib/storage.mod \
     ../runtime/syslib/SysShim.def ../runtime/syslib/SysShim.mod \
     ../runtime/syslib/FileIO.def ../runtime/syslib/FileIO.mod \
     src/SymTab.def src/SymTab.mod src/QbeGen.def src/QbeGen.mod \
     /tmp/gap.mod                      # /tmp/gap.mod: MODULE Gap; IMPORT SymTab; VAR ExitCode:INTEGER; BEGIN ExitCode:=0 END Gap.

session-2026-09-23-step8.2.md 3.1 KB História Raw