immutable bug?

Manu turkeyman at gmail.com
Sun Jan 12 09:26:20 PST 2014


On 13 January 2014 02:37, Andrei Alexandrescu <SeeWebsiteForEmail at erdani.org
> wrote:

> 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.


I wasn't sure if it was definitely a bug. Certainly seemed like one though.

https://d.puremagic.com/issues/show_bug.cgi?id=11908
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20140113/9867dd0a/attachment-0001.html>


More information about the Digitalmars-d mailing list