995. Operational Semantics Unclear

Section: 16.3.2.3 [structure.requirements] Status: NAD Submitter: David Abrahams Opened: 2009-03-06 Last modified: 2016-01-28

Priority: Not Prioritized

View all other issues in [structure.requirements].

View all issues with NAD status.

Discussion:

As a practical matter there's disagreement on the meaning of operational semantics. If the text in 16.3.2.3 [structure.requirements]p4 isn't clear, it should be clarified. However, it's not clear whether the disagreement is merely due to people not being aware of the text.

[ Batavia (2009-05): ]

Agree with the recommended NAD resolution.

Proposed resolution:

Recommend NAD. The text in 16.3.2.3 [structure.requirements] is perfectly clear.