To help LDC/GDC

[Manu]

On 9 April 2013 20:57, Daniel Murphy <yebblies at nospamgmail.com> wrote:

> "deadalnix" <deadalnix at gmail.com> wrote in message
> news:yhvwbephdechjxvrkyal at forum.dlang.org...
> >
> > No, D have holes in its type system and so can't ensure anything. It has
> > been show many many many times, especially by Timon and myself, and I'm
> > kind of fed up to have to repeat that again and again, especiallt since
> > fix proposal have recieved no attention at all.
> >
> > Stop claiming that such possibility exists, or take a serious look at how
> > to really ensure it.
>
> The const/pure etc systems are based on certain guarantees, and places
> where
> they can be broken are bugs.  These bugs DO NOT change what optimization
> opportunities are allowed by the original guarantees.  Stop claiming they
> do.
>

The only optimisation possibility is for strong pure functions that are
also nothrow, right? Was that the conditions for pure function refactoring?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20130409/0f6c1b45/attachment.html>