comp.lang.ada
 help / color / mirror / Atom feed
From: ake.ragnar.dahlgren@gmail.com
Subject: Re: Accessibility checks
Date: Sun, 28 Jul 2013 23:18:15 -0700 (PDT)
Date: 2013-07-28T23:18:15-07:00	[thread overview]
Message-ID: <436a874f-9e37-46c4-b729-447c06081155@googlegroups.com> (raw)
In-Reply-To: <145t0st2ukuvp.q74tk0wrblld$.dlg@40tude.net>

On Wednesday, July 24, 2013 3:27:45 PM UTC+2, Dmitry A. Kazakov wrote:
> 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

Thank you Dmitry for your feedback.

Best regards,
Åke Ragnar Dahlgren

  reply	other threads:[~2013-07-29  6:18 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
2013-07-29  6:18               ` ake.ragnar.dahlgren [this message]
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