calc_ladder.tsv 1.6 KB

1234567891011121314151617181920212223242526272829303132
  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): FXMax : Char = 'G' — a typed constant, so
  29. # DefConst demands '=' through ExpectDelim and reports ENoSemi. The rungs
  30. # behind it, in CALC-COMPILE.md §1: 8036 (enumeration, ERR 41), 8060 (set of
  31. # Attributes, ERR 102), 8237 (record, ERR 102).
  32. CALC.PAS ERR 1 7791