On 13 January 2014 02:37, Andrei Alexandrescu <seewebsiteforem...@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

Reply via email to