calc_ladder.tsv 1.9 KB

1234567891011121314151617181920212223242526272829303132333435
  1. # The CALC ladder — the ratchet for the work in CALC-COMPILE.md.
  2. #
  3. # One row per program, in the same shape run_compile_tests.sh asserts against
  4. # tests/fixtures/expected.tsv:
  5. #
  6. # <program> OK <code> <data>
  7. # <program> ERR <tp3-error-no> <normalised-pos>
  8. #
  9. # tests/calc_ladder.sh stages a COPY of the named program — and of the
  10. # companions that must sit beside it — into tmp/calc_ladder/ and runs the
  11. # freshly built compiler on it. A copy, not the Resources file itself: the
  12. # include (Stage 2 of CALC-COMPILE.md) resolves relative to the including file,
  13. # so CALC.INC has to be beside CALC.PAS in the staged tree.
  14. #
  15. # The rung may only move FORWARD. Each stage that removes a blocker replaces
  16. # the row in the SAME commit as the fix and says why in the message. Never
  17. # edit a row to make a failing suite pass; that is the one thing this file
  18. # exists to prevent.
  19. #
  20. # pos is NOT a file offset. TextBuf.LoadFile collapses CRLF and a lone LF to a
  21. # single CR, so pos indexes the NORMALISED buffer: CALC.PAS is 11,241 bytes on
  22. # disk and 11,059 normalised, so the reported 7791 is file byte 7901. Every
  23. # position written here is a normalised one. Once {$I CALC.INC} lands the
  24. # buffer is CALC.PAS with the directive replaced by CALC.INC, so all downstream
  25. # positions shift — which is exactly why this must be a measured number, not a
  26. # remembered one.
  27. #
  28. # Current rung (2026-10-19): INSIDE CALC.INC — `procedure Center(S : AnyString)',
  29. # a STRING VALUE parameter. The rung moved from 9202 (MCFile : file of
  30. # CellRec) when FILE TYPES landed (`text' and `file of T'), which let the whole
  31. # `var' block pass and the `{$I CALC.INC}' at 9404 expand, so the compiler is
  32. # now compiling the include's body. This is a big step: past the include is
  33. # where all of CALC's own code lives. The immediate blocker is a value
  34. # parameter whose type is bigger than a word (string[70]).
  35. CALC.PAS ERR 102 10350