Digest #161 2021-08-22
In section F.3.10 Division, there is a little missed-order in the last sentence:
As the test definitions use the words which have just been tested, the tests must be performed in the order: F.6.1.0240 /MOD, F.6.1.0230 /, F.6.1.1890 MOD, F.6.1.0100 */, and F.6.1.0110 */MOD.
As the test definitions use the words which have just been tested, the tests must be performed in the order: F.6.1.0240 /MOD, F.6.1.0230 /, F.6.1.1890 MOD, F.6.1.0110 */MOD, and F.6.1.0100 */.
GI5 tests multiple
WHILEs, and compiles correctly on systems that implement
REPEAT correctly. You are supposed to resolve one
WHILE (the latest) at
REPEAT, and leave the others to a matching
AFAIK there is only one more word this Standard explicitly declares IMMEDIATE i.e.
\the comment till EOL.
In the standard, if for some word the compilation semantics are equivalent to the interpretation semantics, then this word is declared as immediate. There a number of such words:
Also, many other words may be actually implemented as immediate words. Namely, if the glossary entry for a word contains "Interpretation" section, then it is allowed and possible to implement this word as an immediate word (in the standard notion).
IFor others alike because
[is not STATE-dependant like them
It's incorrect (and slightly ambiguous).
If you imply execution semantics, — they are not specified for these words, and then this claim is incorrect.
In the standard, in one place where the term "STATE-independent behavior" is used (A.6.1.1550 FIND), it means that the compilation semantics for a word are equivalent to the interpretation semantics for the word.
In this sense your claim is incorrect too.
The standard allows
IFto be STATE-independent. The interpretation semantics for
IFare undefined by the standard, and so this word is allowed to be implemented in such a way that its interpretation semantics are equivalent to its compilation semantics (see A.184.108.40.206).
The standard allows
[to be STATE-dependent, since the interpretation semantics for this word are undefined by the standard.