Re: QUIT and ABORT

mhx@iae.nl (mhx) writes:

A `standard program` from user A returns the wrong result. User A
claims this is because the Forth system from vendor B contains a
bug.

You mean that, when run on the Forth system from vendor B, the program
from user A returns the wrong result.  There are several possibilities:

1) User A is mistaken, and his program is not a standard program.  In
that case the standard does not specify how it should behave.

2a) His program is a standard program, and the standard says that is
should produce the result that the user expects.  Then the system from
vendor B indeed contains a bug.

2b) His program is a standard program, and the standard says that it
should produce the result that system B produces.  In that case the
program has a bug.

2c) His program is a standard program, and the standard says that the
result should be neither what the user expects nor what system B
produces.  In that cases both the program and the system have a bug.

Of course, to find out such things for nontrivial programs, a system
like the one that Jonah E. Thomas worked on many years ago would be
useful.  But OTOH, we made do without such a system for several
decades.

- anton
--
M. Anton Ertl  http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
     New standard: https://forth-standard.org/
EuroForth 2023 proceedings: http://www.euroforth.org/ef23/papers/
EuroForth 2024 proceedings: http://www.euroforth.org/ef24/papers/