Improvement in pure functions specification

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Tue Dec 20 16:58:38 PST 2016


On 12/20/16 7:40 PM, Timon Gehr wrote:
> On 20.12.2016 23:49, Andrei Alexandrescu wrote:
>> https://github.com/dlang/dlang.org/pull/1528 -- Andrei
>
> Good, except:
>
> "$(P `pure` functions returning `void` will be always called even if it
> is strongly `pure`. The implementation must assume the function does
> something outside the confines of the type system and is therefore not
> allowed to elide the call, even if it appears to have no possible effect.)"
>
> I think this makes no sense. What is the idea behind this paragraph?

A function that traces execution via a debug statement, for example. -- 
Andrei


More information about the Digitalmars-d mailing list