Re: How to declare a generic formal type "covered" by another?

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 01/05/14 08:54, Natasha Kerensikova wrote:
> Is it possible, or am I hitting a limit of Ada generics?

For what it's worth, the generic is requesting a formal
type TF, but not TS's "construction facilities".  To assume,
then, that the generic should be able to properly construe
objects of type TF seems misguided. (The in-place construction
cannot incidentally "rectify" the structure of the solution,
I think. The split remains.)

Approaching the subject of opaque automatic memory management
is ambitious, in particular if using the same approach for
different kinds of type with the help of a generic: an "adequately
declared" formal of Allocate is by its nature a client-side thing
here, it cannot be provided by the generic, I think.

Since your specific problems seem to be about the two kinds of
type Storage_Element_Array and Root_Stream_Type'Class only,
I wonder if you could just address these, more specifically?