2013/11/1 Timon Gehr <timon.g...@gmx.ch> > On 11/01/2013 03:21 PM, Kenji Hara wrote: > >> >> The first delegate should not become pure. >> > > Why not? It is weakly pure, like the following: > > void main(){ > struct S{ > int num; > void member(int x)pure{ num = x; } // pure > } > S s; > func(&s.member); // weakly pure function call > > } >
Hmm, looks reasonable. Thanks for the good point out. Kenji Hara