They are not the same

[Timon Gehr]

On 04/05/2014 10:33 PM, Artur Skawina wrote:
> 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'.

Good point, presumably this was a copy-and-paste error.

> That second 'bar' does not make sense w/o properly typed delegates;

The issue asks for delegates to be typed properly, unless I 
misunderstand what 'properly' means here.

> the second 'foo' should indeed work).
>
> artur
>