From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: How to declare a generic formal type "covered" by another?
Date: Thu, 01 May 2014 18:34:23 +0200
Date: 2014-05-01T18:34:23+02:00 [thread overview]
Message-ID: <5362778f$0$6723$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <slrnlm3rt4.i0l.lithiumcat@nat.rebma.instinctive.eu>
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 T, but not T's "construction facilities". To assume,
then, that the generic should be able to properly construe
objects of type T 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?
next prev parent reply other threads:[~2014-05-01 16:34 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-01 6:54 How to declare a generic formal type "covered" by another? Natasha Kerensikova
2014-05-01 7:09 ` J-P. Rosen
2014-05-01 7:33 ` Natasha Kerensikova
2014-05-01 13:35 ` J-P. Rosen
2014-05-01 17:56 ` Natasha Kerensikova
2014-05-01 20:59 ` Jeffrey Carter
2014-05-02 7:58 ` AdaMagica
2014-05-02 8:17 ` Natasha Kerensikova
2014-05-02 15:12 ` Jeffrey Carter
2014-05-02 15:33 ` Dmitry A. Kazakov
2014-05-02 16:00 ` AdaMagica
2014-05-01 9:30 ` Georg Bauhaus
2014-05-01 9:32 ` Georg Bauhaus
2014-05-01 9:33 ` Georg Bauhaus
2014-05-01 16:34 ` Georg Bauhaus [this message]
2014-05-01 18:11 ` Natasha Kerensikova
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox