Digest #184 2022-06-14
18.104.22.168 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
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?