Proposal: Same name token for different words
This proposal has been moved into this section. Its former address was: /standard/tools
This page is dedicated to discussing this specific proposal
ruv Same name token for different wordsProposal2020-06-09 16:36:22
Have a look at 22.214.171.124 Execution tokens:
Different definitions may have the same execution token if the definitions are equivalent.
Should we have to add a similar clause for name tokens? E.g.
Different words may have the same name token if their names are identical, the interpretation semantics for them are equivalent, and the compilation semantics for them are equivalent.