From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Accessibility checks
Date: Wed, 24 Jul 2013 15:27:45 +0200
Date: 2013-07-24T15:27:45+02:00 [thread overview]
Message-ID: <145t0st2ukuvp.q74tk0wrblld$.dlg@40tude.net> (raw)
In-Reply-To: 862c7bde-dfbe-44a4-8180-017c4e73f585@googlegroups.com
On Wed, 24 Jul 2013 06:01:21 -0700 (PDT), ake.ragnar.dahlgren@gmail.com
wrote:
> I do not use anonymous access types either.
Note that there exist quite important cases where anonymous access types
are necessary and unavoidable:
1. Primitive operations. Named access types arguments cannot be
dispatching;
2. Rosen's trick. Maybe it works with named types in Ada 2012. I didn't
check it;
3. Discriminants;
4. Returning managed objects by reference.
P.S. Arguably these issues could be resolved without anonymous access types
and possibly without access types.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2013-07-24 13:27 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-17 20:09 Accessibility checks Florian Weimer
2013-07-17 20:20 ` Alan Jump
2013-07-17 21:16 ` Jeffrey Carter
2013-07-17 23:44 ` Randy Brukardt
2013-07-18 0:39 ` Bill Findlay
2013-07-18 7:14 ` Simon Wright
2013-07-19 8:41 ` Georg Bauhaus
2013-07-19 4:48 ` Randy Brukardt
2013-07-22 6:11 ` ake.ragnar.dahlgren
2013-07-22 9:03 ` Bill Findlay
2013-07-24 13:01 ` ake.ragnar.dahlgren
2013-07-24 13:27 ` Dmitry A. Kazakov [this message]
2013-07-29 6:18 ` ake.ragnar.dahlgren
2013-07-18 0:41 ` Jeffrey Carter
2013-07-19 4:51 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox