[281] 2023-02-13 15:22:04 JimPeterson wrote:

comment - Bad Stack Notation?

Given that "A stack-constrained system may prefer to use a buffer to store the items and place a reference to the buffer on the return stack.", I think a better stack notation for execution semantics would be "( i * x +n -- ) ( R: -- strg-sys )" (or some other "*-sys"), to indicate pretty clearly that: 1) the user can not rely on what data format gets pushed onto the return stack, and 2) something gets pushed on to the return stack and should not be meddled with.