[238] 2022-06-13 22:40:38 ruv wrote:

requestClarification - Same execution token

3.1.3.5 Executiontokens says:

Different definitions may have the same execution token if the definitions are equivalent.

Are the following definitions equivalent?

: foo 123 . ;
: bar 123 . ; immediate

It looks like the definitions for foo and bar are not equivalent. Should they be allowed to have the same execution token?

Probably, it can be stated that no two noname definitions can have the same execution token. And no two CREATE definitions, or two VARIABLE definitions, or two VALUE definitions can have the same execution token. Is it correct?