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

[Adam Beneschan <adam@irvine.com>]

On May 18, 12:58 pm, convergence82 <tiami...@gmail.com> wrote:

> Thanks.  I'm looking at a Ada.Unchecked_Conversion function that
> converts from Data_Array_1 to Data_Array_2:
>
> type Data_Array_1 is array (Num_Types.Mod_4 range 1..8) of
> Num_Types.Mod_8;
> type Data_Array_2 is array (1..8) of Num_Types.Mod_8;
>
> I would think that the way the array is indexed is (integer, mod_4, or
> whatever) wouldn't matter (it's the datatype of the elements of the
> array that matter).
>
> So, will the convert function really in effect DO NOTHING but copy the
> data over?

Yes.  In this case, though, a normal type conversion should work.
There's no reason to use Unchecked_Conversion.

                                       -- Adam