From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: How to declare a generic formal type "covered" by another?
Date: Fri, 2 May 2014 09:00:55 -0700 (PDT)
Date: 2014-05-02T09:00:55-07:00 [thread overview]
Message-ID: <cb3e7854-e6c0-4ddc-81f4-81c9afdef321@googlegroups.com> (raw)
In-Reply-To: <lk0ck1$449$1@dont-email.me>
On Friday, May 2, 2014 5:12:01 PM UTC+2, Jeffrey Carter wrote:
> One can create a safe-pointer package that does not expose an access type (see
> the PragmAda Reusable Components for an example), but the result tends to be
> restricted to pointers to definite, non-limited types.
Shameless plug: I do not see any problems with my implementation for indefinite types:
http://www.christ-usch-grein.homepage.t-online.de/Ada/Smart_Pointers.html
I didn't consider limited types, though.
next prev parent reply other threads:[~2014-05-02 16:00 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 [this message]
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
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