Closed jensmaurer closed 8 months ago
Paragraph 3 is mostly explanatory, so deleting it is possible.
Not doing what paragraph 3 advertises (local term definitions) is a lot of work and will substantially reduce the quality of the document. (Are we now defining "core constant expression" in clause 3? This is a two-page definition or so.)
@tkoeppe, other than deleting p3, I can't see us doing what this comment wants.
Decision: delete the bad paragraph, leave everything else as is and explain that we have local terms that don't make sense in Clause 3.
Fixed by 4d603c640dd47c71f84bbce55416302efab8b298.
Please delete paragraph 3 as Clause 3 cannot include anything other than term entries and the template text (introductory paragraphs 1 and 2). The only place to define a term in the document is in Clause 3, please add the term entries as necessary instead of having them in other places in the document.