On 11/01/2013 12:45 PM, Timon Gehr wrote:
     auto a=bar(); // note: a is pure

(as in 'weakly pure'.)

Reply via email to