Re: A refinement for pure implementation

[bearophile]

Timon Gehr:

It is strongly pure regardless of potential aliasing in the return value. This is a bug.

This can't be strongly pure:


int[] foo2(int[] a) pure {
    a[0]++;
    return a;
}


Bye,
bearophile