<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br><div><br><blockquote type="cite"><div>On Jan 22, 2023, at 12:59 AM, Jₑₙₛ Gustedt <jens.gustedt@inria.fr> wrote:</div><br class="Apple-interchange-newline"><div><div>Hello,<br>this paper proposes wording on page 4 that has a suspicious "must"<br><br> If an optional unary `+` or `-` operator followed by a signaling<br> NaN macro is used as an initializer that must be evaluated at<br> translation time …<br><br>If understand this correctly this is intended to indicate that this<br>applies only to constant expression of that form that are constrained<br>by the standard to be evaluated at translation time. </div></div></blockquote><div><br></div><div>The intent is for it to apply to expressions of that form that are required by the standard to be evaluated at translation time. “Must” is intended to mean “is required to”.</div><br><blockquote type="cite"><div><div>I'd propose to<br>use the following replacement<br><br> If an optional unary `+` or `-` operator followed by a signaling<br> NaN macro is used as an initializer that is constrained to be<br> evaluated at translation time …<br></div></div></blockquote><div><br></div>Is “constrained” the right word? Maybe the clearer way to say it would be </div><div><br></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;"><div>If an optional unary `+` or `-` operator followed by a signaling NaN macro is used as an initializer that has static or thread storage duration or is declared with the constexpr storage-class specifier.</div><div><br></div></blockquote>- Jim Thomas<div><br><div><blockquote type="cite"><div><div><br>But if it was just meant to indicate that this applies to any such<br>constant expression whenever it happens to be evaluated (in an<br>initializer) at translation time, the "must be" should just be<br>replaced by "is".<br><br>Thanks<br>Jₑₙₛ<br><br>-- <br>:: ICube :::::::::::::::::::::::::::::: deputy director ::<br>:: Université de Strasbourg :::::::::::::::::::::: ICPS ::<br>:: INRIA Nancy Grand Est :::::::::::::::::::::::: Camus ::<br>:: :::::::::::::::::::::::::::::::::::: ☎ +33 368854536 ::<br>:: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::<br></div></div></blockquote></div><br></div></body></html>