Re: Issue 9148

[Xinok via Digitalmars-d]

On Saturday, 26 April 2014 at 01:57:06 UTC, bearophile wrote:
This is one of the largest problems left in the implementation 
of D purity:

https://issues.dlang.org/show_bug.cgi?id=9148

One example of the refused code:


void foo(const int[] a) {
    int bar() pure {
        return a[0];
    }
}
void main() {}


Bye,
bearophile

I think this would break the D conventions of purity. 'a' is not 
immutable, only const, meaning one or more elements could change, 
making 'bar' impure.