<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Jul 8, 2018 at 5:43 PM, Thorsten Engler <span dir="ltr"><<a href="mailto:thorsten.engler@gmx.net" target="_blank">thorsten.engler@gmx.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">People keep talking about keywords. As shown in the examples, pure is not a keyword. It's a context-sensitive directive. This is already wrongly stated in the proposal itself (so people can be excused for picking up on the use of the term "keyword" in the proposal) and it should be fixed (in the proposal).<br>
<br>
And it's not redundant. You are telling the compiler: I want this function to be pure. Please tell me if I made a mistake.<br></blockquote><div><br></div><div>If I put a function call into a constant expression, doesn't it already tell the compiler "I want this function to be pure. Please tell me if I made a mistake"?</div><div><br></div><div>thanks,</div><div>Dmitry</div><div><br></div></div></div></div>