Re: generic arrays?

[Jeffrey Carter <spam@spam.com>]

chris wrote:

> Is it possible to do something like the following?
> 
> generic
>   NI : Positive;
> package P is
>   type IV is array (1..NI) of float;
> end P;
> 
> generic
>   type X is ...
> package T is
>    type TP is record
>      A : X;
>    end TP;
> end T;
> 
> with the ability to make the type of X = type of IV?  I want to 
> instansiate T with IV after instantiating P, but don't know what to make 
> X.  Is there any way to avoid using an access type to hold X in the 
> record TP?  (in the case where type x is an unconstrained array of floats).

I must be misunderstanding something, because this seems easy and basic:

generic
    type X is [limited] private;
package T is
...

with P;
with T;
procedure W is
    package New_P is new P (Ni => 10);
    package New_T is new T (X => New_P.Iv);

    Q : New_T.Tp;
...

-- 
Jeff Carter
"C++ is like jamming a helicopter inside a Miata
and expecting some sort of improvement."
Drew Olbrich
51