On 5/2/12 10:20 AM, Timon Gehr wrote:
The interface is different:

void main(){
int[] a = [0,0,0];
a[2] = 3;
assert(2 !in a);
}

vs.

void main(){
int[int] aa;
aa[2] = 3;
assert(2 in aa);
}

The syntactic interface is the same. That would be the semantic interface, which makes the idea twice as bad.

Andrei

Reply via email to