6 Glossary

6.1.1380 EXIT CORE

Interpretation:

Interpretation semantics for this word are undefined.

Execution:

( -- ) ( R: nest-sys -- )

Return control to the calling definition specified by nest-sys. Before executing EXIT within a do-loop, a program shall discard the loop-control parameters by executing UNLOOP.

See:

3.2.3.3 Return stack, 6.1.2380 UNLOOP, A.6.1.1380 EXIT.

Rationale:

Typical use: : X ... test IF ... EXIT THEN ... ;

Testing:

See F.6.1.2380 UNLOOP.

ContributeContributions

ruv [83] execution of exitRequest for clarification2019-06-20 16:01:08

:NONAME 1 . ['] EXIT EXECUTE 2 . CR ; EXECUTE

Is it a standard programme?
If yes, what it should print? If no — what is the reason?

ruv [r221] 2019-06-20 16:09:58

And what about the following programme:

: e ['] EXIT EXECUTE ; IMMEDIATE
: t 1 . e 2 . ; t

AntonErtl [r222] 2019-06-21 06:06:18

Both are not standard programs. The reason is the following ambiguous condition listed in 4.1.2:

attempting to obtain the execution token, (e.g., with 6.1.0070 ', 6.1.1550 FIND, etc. of a definition with undefined interpretation semantics;

Wrt. improving the standard: There is a closing parenthesis missing. Also, this ambiguous condition should not just be hidden in the System Documentation Requirements. After all, it documents a restriction on programs, not systems.

ruv [r224] 2019-06-21 14:04:19

It is slightly confused that a word has execution semantics but it cannot be passed to EXECUTE or COMPILE, in a standard way. Perhaps there is a sense to specify the run-time semantics in place of the execution semantics ("Execution" section) for such words, — like it is done for some other words without specified interpretation semantics (like IF). Isn't it?

AntonErtl [r225] 2019-06-23 06:56:25

That's a good idea.

Reply New Version