immutable bug?

Andrei Alexandrescu SeeWebsiteForEmail at erdani.org
Sun Jan 12 08:37:17 PST 2014


On 1/12/14 2:49 AM, Peter Alexander wrote:
> On Sunday, 12 January 2014 at 02:11:18 UTC, Manu wrote:
>> But pure functions can (and do) return their arguments, and it's
>> obviously
>> not a 'strongly pure' function. So I just can't see how the assertion
>> that
>> it should be unique stands?
>
> That's the bug. Your function isn't strongly pure, so the result
> shouldn't be convertible to immutable and isn't necessarily unique. Only
> strongly pure functions can have results convertible to immutable.

Yep. Has this been placed in bugzilla? It's rather hi-pri.

Andrei



More information about the Digitalmars-d mailing list