On 04/05/14 21:51, Timon Gehr wrote: > On 04/05/2014 11:53 AM, bearophile wrote: >> John Colvin: >> >>> I think there's an argument that this should work, on the grounds that >>> the context pointer is just another argument and therefore the lambda >>> can be weakly pure. >> >> Was this discussed in the forum? > > I've been bringing this up time and time again, but it is usually ignored. > >> Do you think you can ask for an enhancement in Bugzilla? >> ... > > It's a plain bug. In fact, you have commented on it: > > https://d.puremagic.com/issues/show_bug.cgi?id=9148
You're asking for bypassing immutability there (The first 'bar'. That second 'bar' does not make sense w/o properly typed delegates; the second 'foo' should indeed work). artur
