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


ruvavatar of ruv Same name token for different wordsProposal2020-06-09 16:36:22

Have a look at 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.

GeraldWodniavatar of GeraldWodni

You can now add a new Version with the "New Version" button below which will then git diffed to the previous version. testing simple reply

Reply New Version