Proposal: Wording: declare undefined interpretation semantics for locals
This proposal has been moved into this section. Its former address was: /standard/locals/bColon
This page is dedicated to discussing this specific proposal
ruv Wording: declare undefined interpretation semantics for localsProposal2020-03-08 15:18:59
We have the "name Execution:" section for the locals, but don't have a "name Interpretation:" section. Hence, name has default interpretation semantics according to 22.214.171.124, that conflicts with an explicitly declared ambiguous condition in the "name Execution:" section.
Add the following section:
Interpretation semantics for name are undefined.
Remove from the "name Execution:" section the following sentence:
An ambiguous condition exists when name is executed while in interpretation state.