Re: Q: discrete_subtype_definition: static only cases?

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

On 2020-06-07 14:36, Niklas Holsti wrote:
> On 2020-06-07 13:40, J-P. Rosen wrote:
>> Le 07/06/2020 à 11:27, gautier_niouzes@hotmail.com a écrit :
>>> Are there cases in the Ada syntax where a discrete_subtype_definition 
>>> (RM 3.6 (6)) is expected to be determined at compile-time?
>>>
>>> For instance, for array indices or "for" loops, it can be static or 
>>> dynamic.
>>> Same for subtypes.
>>
>> No. The basic principle is that types are static (they determine the
>> underlying representation) and subtypes are dynamic.
> 
> Subtype indications in case statements and record type declarations with 
> variant parts must be static.
> 
> But AFAIK subtypes used as array indices are never required to be static.

However, RM 4.9.1 defines when two ranges statically match, and refers 
to the use that concept in RM 12.5.3, Formal Array Types. This may be a 
case where some index subtypes should be static for things to work as 
the programmer wants.

-- 
Niklas Holsti

niklas holsti tidorum fi
       .      @       .