Inicio Explorar Ayuda
Iniciar sesión
eric
/
M2compiler-V3
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: 0adc637908
Ramas Etiquetas
M2compiler-V3
/
docs
/
INDEX.md

INDEX.md 6.3 KB
Histórico Raw

docs/ index

docs/ has accumulated many per-session records. This index points to the load-bearing documents; everything else is history (useful for bisecting why a decision was made, not for reading end-to-end).

Start here

  • handoff-2026-10-23-next.md — current next-session plan (PACKEDSET done; exceptions, multi-dim open arrays; gates).
  • handoff-2026-10-22-next.md — previous stop-point plan (range checks, PACKEDSET inspection; kept for provenance).
  • handoff-2026-10-19-next.md — previous plan (P1–P5 status, the ASTDUMP root cause).
  • git-branches-tags.md — branch/tag map (which refs are current, historical, or moving).
  • separate-compilation.md — implemented -c/per-object workflow, stable symbols and remaining limits.
  • library-folders.md — dialect library layout and selection.
  • STATUS.md — current state, architecture, conformance policy, what remains.
  • plan.md — the phased plan (Blaise-adapted).
  • features.md — the feature list.
  • comparison-PIM4-gm2-V3.md — PIM4 / GNU Modula-2 / M2R10 / TopSpeed V3 / V3 feature comparison (2026-10-23; V3 at v3-open-arrays; filename kept for link stability).
  • triage-corpus-2026-10-24.md — final corpus triage after open arrays: policy vs dialect vs implementation vs genuine gaps; LFLOAT.
  • analysis_gaps.md — language gaps + corpus notes.
  • gaps/README.md — minimal reproducers, one per unsupported gap, and the gm2-extension policy.

Designs / running records

  • analysis_generics.md — generics (chosen ISO 10514-2 form, mechanism, increments).
  • plan-two-phase.md, plan-two-phase-parse.md — the AST/Lower split and the two-phase (deferred-body) parse.
  • plan-resolve-check.md — the resolve/check thread (now concluded; the pass was deleted).
  • plan-lower.md — the Lower emitter.
  • plan-separate-compilation.md — design record: core stable symbols/per-unit objects/init/linker implemented; deferred generics, incremental builds and self-host; dialect library-folder appendix.
  • design-exceptions.md — ISO exceptions design: grammar/AST, handler stack, sigsetjmp/siglongjmp codegen, EXCEPTIONS / M2EXCEPTION, trap mapping, module FINALLY, tests. M1–M5 and the functionException/FINALLY follow-ups are complete; remaining work is coroutine/protection and complex arithmetic.
  • design-open-arrays.md — multi-dimensional open-array ABI: per-level view descriptors over a flat backing block, payload SIZE/ADR, fixed/open 2-D and 3-D arrays, row/byte flattening, records/constructors and corpus mapping. M1–M6 are implemented, including pointer-based 1-D views and the final gate/tag.
  • blaise-phases-map.md, language-report.md, grammar.md — the grammar/phases reference.
  • summary_l3_selfhost_fix.md — the self-host root cause; also where the "size-sensitive miscompile" is root-caused (2026-10-19).

Recent session summaries (newest first)

  • summary_session-2026-10-24-library-folders.md — dialect library layout (lib/pim, lib/iso, lib/common, lib/gm2); tag v3-library-folders.
  • summary_session-2026-10-24-open-arrays-m6.md — M6 pointer-based 1-D views and final gates; tag v3-open-arrays.
  • summary_session-2026-10-24-open-arrays-m5.md — M5 record fields and constructors: inline flat payloads, synthesized field views, static/runtime constructors; tag v3-open-arrays-m5.
  • summary_session-2026-10-23-open-arrays.md — fixed/open multi-dimensional arrays M1–M4: flat payload + views, open calls, row/subarray conversion, payload SIZE/ADR; tags v3-open-arrays-m4 and v3-open-arrays-m4-summary.
  • summary_session-2026-10-23-exceptions.md — ISO exceptions M1–M5: parser/AST, runtime/codegen, EXCEPTIONS/M2EXCEPTION, index/range/CASE traps; tag v3-exceptions; corpus caveats.
  • summary_session-2026-10-23.md — continuation: runtime subrange range checks (+3 trap tests); PACKEDSET implemented (1/2/4 bytes).
  • summary_session-2026-10-22.md — corpus triage: PIM/ISO multi-index arrays, typed CHAR/enum subranges, ordinal FOR, ISO empty string, typed libc prototypes, ISO SYSTEM sized types, procedure-type syntax, true 8/16-bit sized storage, ISO SysClock, small fixes (corpus 467 → 511).
  • summary_session-2026-10-19.md — the whole 2026-10-19 session (P0–P5, gap14, robustness, library; corpus 405 → 467).
  • 2026-10-19 (P0–P4): generics double-instantiation fixed (lower each unit in its own scope); __FILE__/__LINE__; scalar→ARRAY OF BYTE; P2 gm2 extensions (VAR same-size, bare proc value, variant records, set CASE); strict body declaration order (data); the "size-sensitive miscompile" root-caused (it was the fixpoint gate). See STATUS.md and handoff-2026-10-19-next.md.
  • summary_corpus-sweep-2026-10-18.md — corpus sweep (builtins, bool/enum bounds, set-of-enum, forward set); set-constant + folding findings.
  • summary_set-constants-2026-10-18.md — SET CONST (static masks, folded unions), builtin CONST folding (CAP/ABS/ODD, BOOLEAN consts), CONST representation conversions, forward array-index types, procedure values, SYSTEM sized reals, builtin imports (SHIFT), and ISO foreign modules.
  • summary_dlist-showcase-2026-10-16.md — showcase23 + limitation fixes.
  • summary_generics-limitations-fixed-2026-10-16.md — the two template/proc-param limitations, fixed.
  • summary_showcase23-dlist-2026-10-16.md — the DList showcase + the global-record data-size bug.
  • summary_generics-closed-2026-10-16.md — generics: what works, what does not (generic classes: via generic modules; dedup: N/A).
  • summary_generics-inc3-2026-10-16.md — value params, kind constraints, proc params, constraint model.
  • summary_two-phase-complete-2026-10-16.md — two-phase complete, Check removed.

Everything else (summary_stepN.md, summary_two-phase-sliceN.md, summary_<topic>.md, session-*.md, session-handoff-*.md) is a chronological record kept for provenance. The ones nobody references — and that reference no other doc — have been collected under docs/archive/; the remainder (still linked from somewhere, or linking to the load-bearing docs) stay in docs/.