[sv-ec] RE: Cliff's Votes - 1723

Cliff,

We already have $high(array) that will give you the largest index of any
kind of array. $size(array) is equivalent to array.num() in the current
LRM

> >
> >1723 ___ Yes _XX No !!!

And to address Arturo's comments, I think the distinction between 'size'
of an array and 'number' of elements an array is so subtle that one
could make good arguments in either directions. 

This proposal is part of an attempt to unify all the methods and
operations on unpacked arrays. The only remaining differences when we're
done should be in the way that elements are created or destroyed, and
the way that you select individual elements with an index or range.

Dave


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.