calc_ladder.tsv 1.9 KB

123456789101112131415161718192021222324252627282930313233343536
  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-22): the untyped `file' type in CALC.INC's Exist
  29. # (`var F : file;'). UpCase, run-time set membership, string fields through
  30. # DI, the original memory layout and now untyped-file declarations moved the
  31. # ladder 15911 -> 18267 -> 19847 -> 20912 -> 22253 -> 22280. The function
  32. # declaration itself was never the blocker: the parser required `of T' after
  33. # FILE and reported ENoSemi at the semicolon inside Exist's var block. The
  34. # next blocker is the file-operation call `assign(F, FileN)', which is not a
  35. # builtin yet (TP3 error 41).
  36. CALC.PAS ERR 41 22280