<div dir="ltr">2013/11/1 Timon Gehr <span dir="ltr"><<a href="mailto:timon.gehr@gmx.ch" target="_blank">timon.gehr@gmx.ch</a>></span><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
On 11/01/2013 03:21 PM, Kenji Hara wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="im"><br></div><div class="im">
The first delegate should not become pure.<br>
</div></blockquote>
<br>
Why not? It is weakly pure, like the following:<br>
<br>
void main(){<br>
    struct S{<br>
        int num;<br>
        void member(int x)pure{ num = x; } // pure<br>
    }<br>
    S s;<br>
    func(&s.member); // weakly pure function call<div class=""><div class="h5"><br>
}<br></div></div></blockquote><div><br></div><div>Hmm, looks reasonable. Thanks for the good point out.</div><div><br></div><div>Kenji Hara </div></div></div></div>