Re: Problem with generic parameter

[Marius Amado Alves <amado.alves@netcabo.pt>]

>> generic
>>     type Indices is (<>);
>> package Generic_Root
>>     type Measurement is array (Indices) of Measurement;
>
> The reason that I don't do that is that that would have to instantiate
> a copy of Generic_Root _and_ Generic_Root.Child for each choice of
> array indices.

No you don't. (The above example was misleading.)

generic
    type Indices is (<>);
package Generic_Root.Child_By_Marius is
    type Measurement_Array is
       array (Indices range <>) of Measurement;
end;

with Generic_Root;
with Generic_Root.Child_By_Marius;
procedure Marius_Demo is
    type Scalar is digits 15;
    package Measurements is
       new Generic_Root (Scalar => Scalar);
    package Measurements_Text_IO is
       new Measurements.Child_By_Marius
         (Indices => Positive);
    use Measurements_Text_IO;               --|
    Array_1 : Measurement_Array (1 .. 10);  --| *HERE*
    Array_2 : Measurement_Array (2 .. 20);  --|
begin
    null;
end;