Re: generics and records

[spambox@volja.net]

Dmitry A. Kazakov wrote:

> 2. Inheritance from a record type with known components:
>
> type Common_Base is tagged record
>    A : Float; -- This will be visible in Foo
> end record;
>
> generic
>    type Record_Type is new Common_Base with private;
> package Foo is
>    ...
>
> Instantiation:
>
> type My_Record is new Common_Base with record
>    ... -- These new components will be inaccessible in Foo!
> end record;
> package My_Foo is new Foo (My_Record);

Thanks for the prompt response. One more question: how do I make the
components (the whole record?) known? Where must it be declared?

andrej