Re: (Num_Types.Mod_4 range 1..8) ------->why not (1..8)?

[Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>]

convergence82 wrote:
>    type Data_Array is array (Num_Types.Mod_4 range 1..8) of
> Num_Types.Mod_8;
> 
> what's the difference between this and:
> 
>    type Data_Array is array (1..8) of Num_Types.Mod_8;
> 
> ?

Mod_4 range 1 .. 8 denotes a range of values in type Mod_4.
The index range will be taken from type Mod_4.
1 .. 8 without the Mod_4 denotes a range of numbers from
a "less specific" index type, determined by the rules of
the language -- probably Integer.  The details are found in
and linked from RM 3.6.