George Neuner sez:
> On Wed, 21 Jun 2006 16:12:48 + (UTC), Dimitri Maziuk
><[EMAIL PROTECTED]> wrote:
>
>>George Neuner sez:
>>> On Mon, 19 Jun 2006 22:02:55 + (UTC), Dimitri Maziuk
>>><[EMAIL PROTECTED]> wrote:
>>>
>>>>Y
George Neuner sez:
> On Mon, 19 Jun 2006 22:02:55 + (UTC), Dimitri Maziuk
><[EMAIL PROTECTED]> wrote:
>
>>Yet Another Dan sez:
>>
>>... Requiring an array index to be an integer is considered a typing
>>> problem because it can be checked based
Yet Another Dan sez:
... Requiring an array index to be an integer is considered a typing
> problem because it can be checked based on only the variable itself,
> whereas checking whether it's in bounds requires knowledge about the array.
You mean like
subtype MyArrayIndexType is INTEGER 7 ..
